The boolean-algebras tag has no wiki summary.

**14**

votes

**0**answers

595 views

### Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?

Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...

**11**

votes

**4**answers

944 views

### Jonsson Boolean algebras?

Let us say that a mathematical structure of cardinality $\omega_1$ is Jonsson whenever every one of its proper substructures is countable.
There are examples of Jonsson groups due to Shelah or ...

**9**

votes

**3**answers

745 views

### A unique ultrafilter extending a union of filters?

Original Question:
Let $\mathcal{P}(\omega)/fin$ denote the Boolean algebra formed from $\mathcal{P}(\omega)$ by modding out by the ideal $fin$ of finite subsets of $\omega$. As a first pass at the ...

**9**

votes

**1**answer

193 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 ...

**9**

votes

**1**answer

317 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

**0**answers

412 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 < ...

**8**

votes

**6**answers

2k views

### Generalizations of Boolean posets/lattices

A Boolean lattice has a number of rather nice properties which give it a central role in many parts of combinatorics. For instance, it's a lattice, it can be augmented with a ring structure, it can ...

**8**

votes

**3**answers

568 views

### Which Sigma-Ideals in a Sigma-Algebra are Ideals of Null Sets?

My question is motivated, to be somewhat vague, by an attempt to see how much a measure space is defined by the set of null sets. In other words, assume we are not given a concrete measure on a space ...

**8**

votes

**2**answers

369 views

### centeredness in forcing iterations

Suppose $A$ is a complete subalgebra of a complete boolean algebra $B$, and $B$ is $\kappa$-centered. Let $G \subset A$ be a generic ultrafilter. Is $B/G$ $\kappa$-centered in $V[G]$?
Naively, we ...

**8**

votes

**1**answer

283 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 ...

**8**

votes

**0**answers

501 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 ...

**7**

votes

**1**answer

468 views

### Coproducts of complete Boolean algebras

Does the category of complete Boolean algebras have binary coproducts?
Note that this category does not have countable coproducts. Indeed, the coproduct of countably many copies of the four element ...

**7**

votes

**2**answers

809 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 ...

**7**

votes

**2**answers

438 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 ...

**7**

votes

**1**answer

269 views

### Strictly Positive Measures on Countable Boolean Algebras

Let $B$ be a Boolean Algebra.
A strictly positive measure on $B$ is a function $m$ from $B$ to $[0,1]$ such that (i) $m(b)=0$ iff $b=0$, (ii) $m(1)=1$, and (iii) $m(a+b)=m(a)+m(b)$ whenever $a$ and ...

**7**

votes

**1**answer

187 views

### Introducing meets while preserving directed closure

A poset $\mathbb{P}$ is called well-met iff every pair of compatible conditions in $\mathbb{P}$ has a greatest lower bound.
Question: Suppose $\mathbb{P}$ is a separative partial order which is ...

**6**

votes

**2**answers

601 views

### How do I apply the Boolean Prime Ideal Theorem?

I have become aware of an amazing phenomenon from a myriad of questions and answers here on MathOverflow: many of the results that I would typically prove using the Axiom of Choice can actually be ...

**6**

votes

**2**answers

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 ...

**6**

votes

**4**answers

805 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 ...

**6**

votes

**2**answers

482 views

### Is there something like a Heyting Ring?

I would like to know whether a Heyting algebra gives rise to ring in a similar way that a Boolean algebra gives rise to a Boolean ring. In a Boolean algebra $(B,\lor,\land,\lnot,0,1)$ I can define ...

**6**

votes

**1**answer

375 views

### Is it possible to define a closure operator in terms of partial ordering?

For boolean algebra, let's take Roman Sikorski's Boolean Algebras as our reference. After giving a set of axioms, he proves (p.9) that the join of A and B is the least element of the algebra such that ...

**6**

votes

**1**answer

205 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 ...

**6**

votes

**1**answer

135 views

### completions of regular suborders

Suppose $\mathbb{P}$ is a regular suborder of the separative partial order $\mathbb{Q}$ (see below for definitions). Must there always exist some complete boolean algebra $\mathbb{B}$ such that:
...

**6**

votes

**0**answers

226 views

### Counting Copies of a BA within a BA: Arbitrarily Many versus Infinitely Many

Informally, I am wondering if a Boolean algebra $\mathcal{B}$ contains infinitely many disjoint copies of a Boolean algebra $\mathcal{A}$ whenever it contains arbitrarily many disjoint copies of ...

**5**

votes

**3**answers

364 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 ...

**5**

votes

**3**answers

425 views

### Cohen algebra (generalization)

Let Bor($X$) = class of all borel subsets of $X$. Cohen algebra is defined as Bor(X) modulo the ideal of meager sets.
The Cohen algebra has a combinatorial : it is the unique atomless complete ...

**5**

votes

**4**answers

344 views

### Antichains and measure-preserving actions on Boolean algebras

Let $G$ be a group of automorphisms of the countable atomless Boolean algebra $B$. Suppose that every orbit of $G$ on $B$ is an antichain. Does it follow that $G$ preserves a non-zero (probability) ...

**5**

votes

**2**answers

675 views

### 0-dimensional locally compact space

What is an example of a 0-dimensional locally compact Hausdorff space X for which the Cech-Stone compactification beta(X) is NOT 0-dimensional?
It is known that if X is a 0-dimensional locally ...

**5**

votes

**2**answers

364 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 ...

**5**

votes

**2**answers

176 views

### Quotients of Cantor cubes onto spaces

Let $\lambda$ be an infinite cardinal. Consider the Cantor cube $\Delta_\lambda = \{0,1\}^\lambda$. It is a standard fact in topology that the topological weight (= minimal cardinality for a basis) of ...

**5**

votes

**1**answer

163 views

### Comparing cardinalities of the spectrum of two masas in $B(H)$

If I imagine that (the self-adjoint part of) a C*-algebra $A$ represents the algebra of observables of some quantum system, then certain perspectives on algebraic quantum theory would ask me to ...

**5**

votes

**3**answers

132 views

### Product of binary Boolean operators

I asked this question a day ago on math.stackoverflow but figured it could have an interest here.
I'm interested in the set $\mathcal{P}_N$ of boolean functions of boolean variables $p_1, p_2, ...

**4**

votes

**2**answers

246 views

### Proving results about complete Boolean algebras in ZFC using Boolean valued models

I want to know what non-trivial ZFC theorems (not consistency results) about complete Boolean algebras (or more generally of partially ordered sets) one can prove using forcing.
I am mainly ...

**4**

votes

**2**answers

100 views

### extending $\sigma$-complete boolean homomorphism

I'm not sure if this is research level, so feel free to vote to migrate.
Suppose we have a complete boolean algebra $A$, with a dense, $\sigma$-complete subalgebra $B$, and a $\sigma$-complete ...

**4**

votes

**2**answers

934 views

### Examples for “nice” Boolean algebras that are not complete or not atomic

A Boolean algebra may, or may not, be complete (i.e, any set of elements has a sup and an inf) or atomic (i.e., every element is a sup of some set of atoms).
Boolean Algebras that are complete as ...

**4**

votes

**1**answer

159 views

### Cohen algebra and $\mathcal P(\omega)/ \mathrm{fin}$

Let $C$ be the Cohen algebra, the boolean completion of the partial order of finite partial functions from $\omega$ to 2, ordered by reverse inclusion. Does there exist an ideal $I$ on $C$ such that ...

**4**

votes

**2**answers

219 views

### Quasi-dense subsets of boolean algebras

Definition: Let $B$ be a boolean algebra. Say $X \subseteq B$ is quasi-dense in $B$ if for all $b \in B$, there is $x \in X \setminus$ { $0,1$ } such that either $x \leq b$ or $b \leq x$.
Question: ...

**4**

votes

**2**answers

625 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) = ...

**4**

votes

**1**answer

311 views

### Continuous Strictly Positive Measures on Countable Boolean Algebras

This is a followup to:
Strictly Positive Measures on Countable Boolean Algebras
Suppose a countable Boolean algebra B is a subalgebra of the power set of the reals. (For example, let B be the ...

**4**

votes

**2**answers

140 views

### About a construction of Borel $\sigma$-algebra associated to a lattice

Let $(\mathcal{A}, \cup, \cap)$ a lattice (with minimum and maximum elements $\bot$ and $\top$).
Let $X\subset \mathcal{A}$ a generator set (a set of minimal cardinality that generate $\mathcal{A}$ ...

**4**

votes

**1**answer

221 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 ...

**4**

votes

**1**answer

106 views

### Are epimorphisms (defined via an obvious action) of free Boolean algebras whose set of generators is a group automorphisms?

Let $G$ be a group. Consider $B$, the free Boolean algebra with generating set (I'll call them "variables") $G$. Let $F$ be some formula (that is, some fixed element of $B$). Define an endomorphism ...

**4**

votes

**1**answer

200 views

### Categorical properties of metric Boolean algebras

According to Kolmogorov ("Algèbres de Boole métriques complètes", VI Zjazd Matematykòw Polskich, 1948, english translation Phil. Studies, 1995, 77, 57-66), a Boolean algebra $(B, \wedge, \vee,-,1,0)$ ...

**4**

votes

**0**answers

116 views

### The dominating number $\mathfrak{d}$ and convergent sequences

All spaces considered below are compact Hausdorff.
If $K$ is a space, then $w(K)$ is its weight. For a Boolean algebra $\mathcal{A}$, $K_\mathcal{A}$ denotes its Stone space. I am interested in ...

**4**

votes

**0**answers

39 views

### If every contraction on a Boolean algebra has a maximum value, is that Boolean algebra complete?

If $B$ is a Boolean algebra, then a mapping $f:B\rightarrow B$ is said to be contractive (or a contraction) if $f(a)+f(b)\leq a+b$ for each $a,b\in B$ where $a+b=(a\wedge b')\vee(a'\wedge b)$ is the ...

**4**

votes

**0**answers

280 views

### Order theory as a foundation of mathematics?

I know the followings kinds of formalization of mathematics:
based on set theory (e.g. ZFC)
based on type theory (e.g. the formalism of Coq proof assistant, as an advanced example)
based on category ...

**3**

votes

**2**answers

288 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}$ ...

**3**

votes

**2**answers

322 views

### Semilattices in atomless boolean algebras

Let S be a bounded semilattice without maximal elements. Can we always construct an atomless boolean algebra B, containing S as a subsemilattice, such that S is cofinal in B-{1}? That is, for every ...

**3**

votes

**2**answers

318 views

### ED compact $K$ such that $C(K)$ is not a dual Banach space

Almost every mathematician working in von Neumann algebras says that there are certainly extremely disconnected compact spaces $K$ such that $C(K)$ is not a dual space (they are not hyperstonean). ...

**3**

votes

**1**answer

116 views

### perfect space without convergent long sequences

Is there a boolean space $X$ without isolated points with the property that no point $x\in X$ is the limit of a long sequence $(x_i)_{i\in I}$ from $X\setminus \lbrace x\rbrace $ ('long sequence' here ...