The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
179 views

On intermediate transitive models for ZFC between M an M[G]

Let $P$ be a forcing notion. Let $B(P)$ be the boolean completion of $P$ and $i : P \rightarrow B(P)$ be the corresponding dense embedding (in $B(P)^{+}$). Let $G$ be $B(P)$-generic over $M$, the ...
8
votes
0answers
439 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 ...
9
votes
0answers
380 views

Existence of a regular subposet which collapses everything except the top cardinal

Suppose $\delta$ is an inaccessible cardinal, and $\mathbb{P}$ is the Levy Collapse $\text{Col}(\kappa, \delta)$ which adds a surjection from $\kappa \to \delta$ (for some regular $\kappa < ...
3
votes
2answers
324 views

The category of Boolean-valued models associated to a model of ZFC

This is related to my previous question here, and indirectly motivated by Andreas Blass intriguing answer therein: start from a ZF transitive model $M$, and consider the category $CBA(M)$ of ...
3
votes
2answers
180 views

Chain of ideals in a BA

Suppose $\mathfrak{A}$ is a Boolean algebra and $\mathfrak{J}$ is chain of ideals in $\mathfrak{A}$ ordered by inclusion such that none of its elements is countably generated. Clearly, the union ...
1
vote
5answers
528 views

Is there such a thing as the sigma-completion of a Boolean algebra?

Hi all, Suppose that $\mathcal{B}$ is a Boolean algebra. It there a way to extend $\mathcal{B}$ to a smallest Boolean algebra $\mathcal{B}'$ that contains an isomorphic copy of $\mathcal{B}$ and is ...
4
votes
1answer
172 views

Uncountable atomless subalgebras of the Boolean algebra of all Jordan measurable sets in [0,1]

Definition: Suppose $\mathcal A$ is the Boolean algebra of all Jordan measurable sets in $I=[0,1]$ (i.e $\mathcal A=\{A\subseteq I: \mu(\partial(A))=0\}$, where $\mu$ is the Lebesgue measure and ...
2
votes
1answer
142 views

Sigma-complete Lindenbaum algebras? [closed]

Is there any calculus whose algebraization is a sigma-complete Lindenbaum algebra, i.e., a sigma-complete Boolean algebra after identification of equivalent formulas?