7
votes
1answer
207 views

On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...
3
votes
1answer
91 views

Boolean completion (of a forcing notion) isomorphic to each of its cones

Suppose $ \mathbb{P} := (P, {\leq_P}, 1_P) $ is a separative partial order. Let $ \mathbb{B} := \operatorname{RO}(\mathbb{P}) $ denote the Boolean completion. Fix some dense embedding $ i \colon P ...
-1
votes
1answer
156 views

Algebra generated by a tree [Edit] [closed]

Suppose that $(T,\leq)$ is a partially ordered set, we say $T$ is a tree* if for every $i\in T$, $\{s: s\in T, s\leq t\}$ is a well-founded chain. What I need to know is: Can the algebra ...
8
votes
0answers
449 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 ...
8
votes
1answer
296 views

Nontrivially nontrivial automorphisms of $P(\omega_1)/fin$

Velickovic proved (Theorem 4.1 of OCA and automorphisms of $\mathcal{P}(\omega)/\mathrm{fin}$) that, assuming OCA and $\rm MA_{\aleph_1}$, every (Boolean algebra) automorphism of ...
9
votes
1answer
179 views

Independent families versus generators

I asked this question on M.SE a while ago and got no answers, so I'm asking it here. Let $\kappa$ be an infinite cardinal. A family $\mathcal{A}\subseteq\mathcal{P}(\kappa)$ is independent if for ...
3
votes
2answers
277 views

How complete is $\mathcal P(\kappa)/J_{bd}$?

While it is true that $\mathcal P(\kappa)$ is a complete Boolean algebra, it is not necessarily true that $\mathcal P(\kappa)/I$ is complete for an ideal $I$. In particular if we consider $I=J_{bd}$ ...
9
votes
0answers
383 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 < ...
7
votes
2answers
433 views

subalgebra of a simple forcing

Let $\alpha > 0$ be any ordinal. Consider the forcing $Add(\omega,\alpha) * Add(\omega_1,1)$. Let $B$ be its boolean completion. Let $\dot{X}$ be the canonical $B$-name for the generic subset of ...
5
votes
2answers
347 views

Suslin algebras

A Suslin algebra is a generalization of a Suslin tree: it is a ccc, $(\omega,\infty)$-distributive boolean algebra. Jech proved that every Suslin algebra has size at most $2^{\omega_1}$. A proof is ...
3
votes
1answer
144 views

Algebras with countable chains only

Is there an example of an uncountable Boolean algebra $B$ in which every chain is countable and such that $\ell_\infty$ embeds into the Banach space $C(\mbox{Stone }B)$? The latter requirement is not ...
2
votes
1answer
126 views

Independent families and chains

My question will be very short. Suppose we have a Boolean algebra $B$ which admits an uncountable independent family. Does it follow that there is an uncountable chain of elements in $B$? ...
3
votes
2answers
334 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 ...
5
votes
3answers
362 views

Chain conditions in quotients of power sets

Several days ago a friend asked me the following: We know that in $\mathcal P(\mathbb N)$ we can find a family of size continuum that every [distinct] two intersect in a finite set. Can we do that ...
2
votes
2answers
226 views

Maximal ideals in Boolean algebras; reference request

An old theorem of Pospisil asserts that for any infinite set $I$ the power-set algebra $\wp(I)$ has $\exp \exp |I|$ many maximal ideals containing the ideal of finite sets. This result is published in ...
2
votes
1answer
192 views

Extending BAs to weakly countably distributive algebras.

Suppose $\mathscr{A}$ is a complete Boolean algebra (assume it is c.c.c. if you wish). Is there any, say, canonical embedding $\mathscr{A}\subseteq \mathscr{B}$ into a complete Boolean algebra which ...
6
votes
2answers
1k views

An exercise in Jech's Set Theory

I had a hard time trying to solve exercise 7.24 in Jech's book (3rd edition, 2003) and finally came to the conclusion that the result there, which should be proved might be wrong. The claim goes like ...
4
votes
2answers
584 views

density of boolean algebras

For a boolean algebra B, let d(B) be the least cardinality of a dense subset of B. Let A be a (non-regular) subalgebra of a boolean algebra B. Is it possible that d(A) > d(B)? What if d(B) = ...
2
votes
1answer
417 views

Free product of Boolean algebras

Given a family of Boolean algebras $\mathcal{B}=\{B_i\colon i\in I\}$ with respective Stone spaces $S_i$. Recall that the algebra of clopen (both closed and open) subsets of the product space ...
11
votes
4answers
842 views

Jonsson Boolean algebras?

Let us say that a mathematical structure of cardinality $\omega_1$ is Jonsson whenever every its proper substructure is countable. There are examples of Jonsson groups due to Shelah or Obratzsov. I ...
6
votes
4answers
702 views

Terminology for relation on sets

Does the following relation between sets have a name or any special properties: $X\bigcirc Y$ iff $X \cap Y = \emptyset$ or $X\subseteq Y$ or $Y\subseteq X$. Although this is rather basic, it is ...
7
votes
2answers
778 views

Can models of set theory contain extra ordinals?

In the paper "Complete topoi representing models of set theory" by Blass and Scedrov, they consider a general notion of Boolean-valued model of set theory, and one of the conditions they impose is ...