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

182 questions
Filter by
Sorted by
Tagged with
73 views

### Projective objects for compact po-spaces

Let us consider the following definition: a compact po-space is a pair $(X,\leq)$ where $X$ is a compact space and $\leq$ is an order, closed on $X^2$. Then, we can consider the category $KPoSp$ whose ...
19 views

### Adjoints to the inclusion of complete Boolean algebras in complete Heyting algebras

Let $\bf{Bool}$ be the full subcategory of $\bf{Hey}$, the category of complete Heyting algebras and meet,joins and implication preserving maps between them. Is $\bf{Bool}$ a (co)reflective ...
1k views

### In the category of sigma algebras, are all epimorphisms surjective?

Consider the category of abstract $\sigma$-algebras ${\mathcal B} = (0, 1, \vee, \wedge, \bigvee_{n=1}^\infty, \bigwedge_{n=1}^\infty, \overline{\cdot})$ (Boolean algebras in which all countable joins ...
214 views

120 views

### Reference for Dedekind's problem

Dedekind's problem is about enumerating antichains in the Boolean lattice. Is there an explicit reference where Dedekind stated this problem? Is there a good motivation to study this problem except ...
154 views

217 views

153 views

166 views

### Infinite distributive laws in atomless free sigma-algebra

Let $\frak{A}$ be the free $\sigma$-algebra on $\omega_1$ free $\sigma$-generators. Then $\frak{A}$ is not completely distributive because it is atomless. However, is it $\omega$-distributive in the ...
90 views

### Open sets on a Stone space

If $B$ is a Boolean algebra (possibly assumed complete), is there a standard name for the Heyting algebra (or frame) $L := \Omega(S(B))$ of open sets on the Stone space $S(B)$ of $B$, — or for the ...
180 views

### Is the intersection of Boolean sublattices a Boolean sublattice?

Let $L$ be a boolean lattice, $A$ and $B$ sublattices of $L$ that are themselves boolean lattices, and suppose that $I = A \cap B$ is nonempty. Is $I$ a boolean sublattice of $L$? Is it a ...
232 views

### Finite covers of Boolean algebras by their subalgebras

It is a student exercise that no group can be represented as a set-theoretic union of its two proper subgroups. The same also can be shown for Boolean algebras. On the other hand, it's not hard to ...
144 views

103 views

### Ultrafilters preserving infinite joins

A filter $U$ over a boolean algebra (isomorphic to a powerset) $A$ "preserves" a join $a = \bigcup_{i\in I}a_i$, if $a\in U$ implies $a_i\in U$ for some $i\in I$. (A join $a$ is infinite if $I$ is.) ...
135 views

### C.c.-ness of a forcing notion based on an atomless complete Boolean algebra

Given $\mathbb{B} = \langle B, \wedge, \vee, \neg, 0, 1 \rangle$ an atomless complete Boolean algebra that has a $< \mkern-4mu \kappa$-closed dense subset and is $\kappa^+$-c.c., we define a ...
141 views

### Characterization of state spaces of Boolean algebras

A state space of a Boolean algebra is a Choquet simplex but not all Choquet simplices can be viewed as state spaces of Boolean algebras. Is it known which Choquet simplices are precisely state spaces ...
261 views

289 views

### Direct limits of $\sigma$-centered forcing notions

It is quite well known that Any FS (finite support) iteration of length $<\mathfrak{c}^+$ of $\sigma$-centered posets is $\sigma$-centered (see e.g. here). Now consider the following question: ...
229 views

### Does $\aleph_0$-density of regular open algebra entail existence of countable basis?

Suppose that the family $\mathrm{RO}(X)$ of regular open subsets of $(X,\mathscr{O})$ is a basis of $X$. Let the density of $\mathrm{RO}(X)$ (considered as boolean algebra) be $\aleph_0$. Does $X$ ...
269 views

### Stone topological Boolean algebras

I am looking for an initial reference for a theorem which is known, namely: Theorem: A Boolean algebra $A$ admits a Stone space topology (i.e. is the underlying algebra of a Stone topological ...
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 ...