8
votes
0answers
429 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
4answers
386 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
2answers
503 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 ...
5
votes
1answer
443 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
4answers
500 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. ...
15
votes
4answers
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 ...
15
votes
0answers
331 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
3answers
857 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
2answers
486 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 ...
7
votes
1answer
602 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? ...
0
votes
1answer
505 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
2answers
701 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
1answer
297 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
1answer
352 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
1answer
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
3answers
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
5answers
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
6answers
884 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
1answer
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 ...