# Tagged Questions

**8**

votes

**0**answers

443 views

### Full conditional probabilities and versions of AC?

A probability is a finitely additive measure on a boolean algebra with total measure $1$.
A function $P:\scr B \times (\scr B - \{ 0 \})$ is a full conditional probability on $\scr B$ (for a boolean ...

**4**

votes

**4**answers

391 views

### Strength of some claims about finitely additive measures on infinite sets?

Assume ZF. Consider the claim:
(1) For any infinite set $\Omega$, there is a finitely additive probability measure $\mu:2^\Omega\to[0,1]$ with $\mu(A) = 0$ whenever $|A|<|\Omega|$.
Then (1) is ...

**2**

votes

**2**answers

515 views

### Can this informal argument (for the fact that almost all reals in the unit interval are irrational) be saved?

In the textbook from which I am teaching a Discrete Math course, the authors propose randomly generating an infinite sequence of decimal digits $d_1, d_2, \dots$. We are to think of this as the ...

**6**

votes

**1**answer

499 views

### Do Measurable Cardinals Exist? (assuming ZFC)

In Appendix B of his Uniform Central Limit Theorems (1999), Dudley writes:
It is consistent with the usual axioms of set theory (including the axiom f choice) that there are no measurable ...

**1**

vote

**4**answers

536 views

### The paradox with the first uncountable ordinal

Suppose we have a set $M = (0,1) \subset R$ of reals well-ordered as the first uncountable ordinal.
Let $M(a) = \lbrace x \in M : x < a \rbrace$. For every $a \in M$ set $M(a)$ is countable. ...

**18**

votes

**4**answers

1k views

### Is a random subset of the real numbers non-measurable? Is the set of measurable sets measurable?

One might say, "a random subset of $\mathbb{R}$ is not Lebesgue measurable" without really thinking about it. But if we unpack the standard definitions of all those terms (and work in ZFC), it's not ...

**16**

votes

**0**answers

350 views

### Are there lightweight foundations for arbitrarily extendable objects?

My experience with foundations is rather scant, but I've run into some types of objects that seem to resist the sort of set-theoretic encoding schemes via Kurowski tuples that are rather common for ...

**5**

votes

**3**answers

908 views

### Is a semicontinuous real function Borel measurable?

Let $f(x,u): [0,1]^2 \mapsto \mathbb{R}$ be a continuous
function.
[Q] Is $g(x) = \inf_{u\in [0,1]} f(x,u)$ always Borel measurable?
If not, can one find a counter-example?
Note that, for any $c$,
...

**2**

votes

**2**answers

493 views

### Measure on $\omega_1$

Let $\mathcal{O}$ be the $\sigma$-algebra on $\omega_1$ generated by its countable subsets. Is there a ($\sigma$-additive) probability measure on $\mathcal{O}$ that is not concentrated on a countable ...

**8**

votes

**1**answer

670 views

### Probabilities independent of ZFC?

Hi guys,
is it possible to change the probability of an event via forcing? More precisely, is there an innocent looking question on the probability of "something" whose answer is independent of ZFC?
...

**1**

vote

**1**answer

517 views

### Probability Measures and Cardinality > c

Is it possible to place non-trivial probability measures on sets of cardinality strictly greater than the continuum -- in particular, on sets of cardinality 2^c? (Any references would be ...

**2**

votes

**2**answers

714 views

### measurability of integrated functions

Hello everybody,
DISCLAIMER: I'm not a mathematician, but a computer scientist, so I hope the question is not trivial (or perhaps I hope so, in order to get a definitive answer). Anyway it's not a ...

**5**

votes

**1**answer

303 views

### An eventually different function adding no Solovay real nor dominating function?

Definitions
I believe set theorists have studied all of the following three notions in the context of forcing extensions of a model of ZFC, $M$ (hopefully the terminology is the standard one).
A ...

**3**

votes

**1**answer

358 views

### Path cardinality for random $(a+b)$-ary infinite trees

Consider a random infinite binary tree $T(a,b)$, so that $a$ denotes the probability of a left edge branching from any root-connected node,and $b$ denotes the probability of a right edge branching ...

**1**

vote

**1**answer

1k views

### Is there a sigma algebra without atoms on a countably infinite set ?

The title says is all.
To motivate the problem, here is a theorem for finite sets.
Theorem: If S is a finite set, then it can be proved that the atoms of any sigma algebra on S form a partition of ...

**7**

votes

**3**answers

2k views

### Sigma algebra without atoms ?

I'm looking for an example of a set S, and a sigma algebra on it, which has no atoms.
Motivation: It seems to me that a lot of definitions in probability and stochastic processes - conditional ...

**14**

votes

**5**answers

2k views

### Existence of probability measure defined on all subsets

Let S be an uncountable set. Does there exist a probability measure which is defined on all subsets of S, with P({x}) = 0 for any element x of S ?
If I remove the condition P({x}) = 0, then I can ...

**4**

votes

**6**answers

901 views

### Are there nonequivalent randomnesses?

There are nonequivalent geometries, nonequivalent groups finite and infinite, nonequivalent logics ( fregean and nofregean http://www.formalontology.it/suszkor.htm), even nonequivalent logicians;-)
...

**10**

votes

**1**answer

1k views

### measurable sets not depending on even coordinates

Let $A\subset\{0,1\}^\omega$ be a measurable set (w.r.t. the usual borel sigma algebra) which does not depend on any even coordinate (that is, if $x\in A$ and $x$ and $y$ agree except on a finite ...