Questions tagged [boolean-algebras]

A Boolean algebra is a commutative ring satisfying x²=x for every x, and sometimes required to have a unit; they have characteristic 2. For coding theory (notably dealing with subsets linear subspaces of spaces of Boolean functions), rather use the [coding-theory] or [linear-algebra] tag.

Filter by
Sorted by
Tagged with
21 votes
1 answer
1k 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 ...
Dmitri Pavlov's user avatar
15 votes
2 answers
1k views

Is Stone-Čech compactification of 0-dimensional space also 0-dimensional?

What is an example of a 0-dimensional locally compact Hausdorff space $X$ for which the Stone-Čech compactification $\beta(X)$ is not 0-dimensional? It is known that if $X$ is a 0-dimensional locally ...
Fred Dashiell's user avatar
8 votes
4 answers
684 views

Are there $2^{\aleph_0}$ pairwise non-isomorphic Boolean algebra structures on $\omega$?

Is there a collection of $2^{\aleph_0}$ pairwise non-isomorphic countable Boolean algebras? Equivalently, are there $2^{\aleph_0}$ pairwise non-homeomorphic closed subsets in the Cantor space?
Dominic van der Zypen's user avatar
16 votes
1 answer
597 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 ...
Damian Sobota's user avatar
14 votes
2 answers
481 views

Near permutation $n\mapsto n+1$ not conjugate to its inverse on the Stone-Čech remainder?

Let $\beta\omega$ be the Stone-Čech compactification of the discrete infinite countable space $\omega$, and $\beta^*\omega=\beta\omega\smallsetminus \omega$ is the Stone-Čech remainder. The map $j:n\...
YCor's user avatar
  • 60.1k
10 votes
1 answer
343 views

Elementary equivalence between $n\mapsto n+1$ and its inverse on the Stone-Čech remainder?

Consider structures $(A,f)$ encoding a Boolean algebra $A$ endowed with an automorphism $f$. There is an obvious notion of isomorphism between such structures. Consider the endomorphism $\hat{\Phi}$ ...
YCor's user avatar
  • 60.1k
6 votes
0 answers
327 views

What is the algebraic equivalent of independent elements?

The definition/notion of independence is always a bit odd in measure theoretic probability theory. Definition Given a probability space $(\Omega,\mathcal{F},P)$, two sets $A,B\in\mathcal{F}$ are ...
Henry.L's user avatar
  • 7,951
4 votes
1 answer
303 views

Boolean ring of unitary divisors / Structure of unitary divisors?

I hope this question is appropriate for MO: Let $n$ be a natural number, $U_n := \{ d | d \text{ divides } n, \gcd(d,n/d)=1\}$ be the set of unitary divisors. We can make $U_n$ to a boolean ring: $$a \...
user avatar
2 votes
1 answer
140 views

Efficiently embedding finite Boolean algebras into lattices of set partitions?

Let $P_n$ be the lattice of set partitions of $[n] = \{1,2,\dots,n\}$, let $B_n$ be the Boolean algebra of subsets of $[n]$. Is there some $n_0$ such that for all $n \ge n_0$ it is possible to ...
András Salamon's user avatar
18 votes
4 answers
2k views

Complete Boolean algebra not isomorphic to a $\sigma$-algebra

Does there exist a complete Boolean algebra that is not isomorphic to any $\sigma$-algebra? If so, what is an easy or canonical example or construction?
Bjørn Kjos-Hanssen's user avatar
17 votes
2 answers
4k views

Can we put a probability measure on every $\sigma$-algebra?

The following question has puzzled me for some time: Let $(\Omega,\Sigma)$ be a nonempty, measurable space. Does there necessarily exist a probability measure $\mu:\Sigma\to[0,1]$? If there ...
Michael Greinecker's user avatar
14 votes
1 answer
449 views

What are internal complete atomic boolean algebras, intuitively?

The category of complete atomic boolean algebras $\mathbf{CABA}$ is equivalent to $\mathbf{Set}^{\mathrm{op}}$ via $$\mathbf{Set}^{\mathrm{op}} \to \mathbf{CABA}, ~ X \mapsto (P(X),\bigcup,\bigcap).$$ ...
Martin Brandenburg's user avatar
11 votes
0 answers
509 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 < \delta$)...
Sean Cox's user avatar
  • 2,281
10 votes
0 answers
749 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
1 answer
406 views

Are there functions $\mathbb{F}_2^n \to \mathbb{F}_2$ satisfying these special relations?

Let $\mathbb{F}_2=\{0,1\}$ be the field with two elements, and let $u:\mathbb{F}_2^n\rightarrow \mathbb{F}_2$. Suppose that $n$ is odd. Is it possible that $$ \sum_{x \in \mathbb{F}_2^n}(-1)^{u(x)+u(...
Asaf Shachar's user avatar
  • 6,611
7 votes
6 answers
2k 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 ...
Phil Wild's user avatar
  • 391
6 votes
2 answers
1k views

Embedding a Brouwerian lattice into a Boolean lattice

I have already asked a similar question at https://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra but have received no answer. Sorry, I ask a ...
porton's user avatar
  • 739
6 votes
1 answer
290 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 ...
Zoorado's user avatar
  • 1,215
6 votes
2 answers
466 views

Complete atomless Boolean algebras with abelian automorphism group

Is there any example of a complete atomless Boolean algebra with a non-trivial abelian automorphism group? This is equivalent, by Stone duality, to asking for an extremally disconnected compact ...
Iian Smythe's user avatar
  • 3,001
6 votes
1 answer
881 views

The universal algebra of a $\sigma$-algebra

I am searching for the 'dual' algebraic structure of a $\sigma$-algebra. The notion of duality is like in the case of the Boolean algebra and set algebra. If $X$ is a set, the complement and ...
zeh's user avatar
  • 191
5 votes
1 answer
252 views

Boolean algebra of ambiguous Borel class

Suppose $X$, $Y$ are uncountable compact metric spaces and $\Delta^0_\xi(X)$, $\Delta^0_\xi(Y)$ ($2\le\xi\le\omega_1$) are the Boolean algebras of Borel sets of ambiguous class $\xi$. So for $\xi=2$ ...
Fred Dashiell's user avatar
4 votes
2 answers
526 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 ...
Joseph Van Name's user avatar
4 votes
1 answer
255 views

Can we explicitly compute this "shift"-quantity over Boolean functions $u:\mathbb{F}_2^n\rightarrow \mathbb{F}_2$?

This question is a follow-up of this question. Let $\mathbb{F}_2=\{0,1\}$ be the field with two elements, and suppose that $n$ is odd. Question: Can we compute the exact minimum $$A:= \min_{u:\mathbb{...
Asaf Shachar's user avatar
  • 6,611
4 votes
1 answer
255 views

Is ${\cal P}(\omega)/\text{(fin)}$ a fractal poset?

If $(P,\leq)$ is a partially ordered set and $a,b\in P$ we set $[a,b]:=\{x\in P: a\leq x\leq b\}$. We say that $P$ is fractal if whenever $a,b\in P$ and $[a,b]$ contains more than one element, then $[...
Dominic van der Zypen's user avatar
4 votes
2 answers
611 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 ...
Mirco A. Mannucci's user avatar
3 votes
1 answer
838 views

Finitely additive measures on Boolean algebras of regular open subsets: Is there a relationship with Borel measures? A theory of integration?

Let $\mathcal{X}$ be a topological space. An open subset $\mathcal{R}\subseteq\mathcal{X}$ is regular if it is the interior of its own closure. The intersection of two regular open sets is regular. ...
Marcus Pivato's user avatar
3 votes
0 answers
165 views

A boolean representation of the Möbius function on a finite lattice

Let $(L,\wedge , \vee)$ be a finite lattice with minimum $\hat{0}$ and maximum $\hat{1}$. Consider the Möbius function $\mu$ on $L$ defined inductively by $$\mu(\hat{1}) = 1 \text{ and } \mu(a) = - \...
Sebastien Palcoux's user avatar
2 votes
2 answers
448 views

What to call a continuous function with preimage preserving nowhere-density?

Currently I am reading some basic literature on descriptive set theory and boolean algebras. And this comes out a lot, for example in results like: Let $X$ and $Y$ be topological spaces, and $f:X \to ...
2 votes
1 answer
182 views

Lattices without nontrivial dense elements

This question arose from another one of mine, Homotopy type of some lattices with top and bottom removed. An element $d$ of a bounded lattice $L$ is called $\mathit{dense}$ if $$ \forall x\in L\ (d\...
მამუკა ჯიბლაძე's user avatar
2 votes
1 answer
300 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?
John R.'s user avatar
  • 21
2 votes
2 answers
276 views

About the existence of a particular kind of "splitting" function on atomless complete Boolean algebras

Let $\mathbb{B} = \langle B, \wedge, \vee, \leq, \neg, 0, 1 \rangle$ be an atomless complete Boolean algebra. We call $f$ a splitting function on $\mathbb{B}$ iff $f : B-\{1\} \longrightarrow B \...
Zoorado's user avatar
  • 1,215
2 votes
0 answers
237 views

3 questions around the Stone space of the free $\sigma$-algebra on $\omega_1$ free generators

During my studies, I came across several different Stone spaces, e.g.: (i) The Cantor cube $X=\{0,1\}^{\omega_1}$, which is the Stone space of the free Boolean algebra on $\omega_1$ free generators; ...
LJGC's user avatar
  • 207
2 votes
2 answers
233 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 $\...
GiroCont's user avatar
1 vote
2 answers
485 views

Question on separability of a measure

Following this question here this question come to mind. Consider a measured σ-algebra $(S,\mu)$ . Assume that μ is normalized to have total weight 1, and that S is complete (contains all subsets of ...
Rina Shora's user avatar