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
1
vote
1answer
139 views

Understanding Kelley's intersection number (Boolean algebras)

It is known that: Theorem (Kelley, 1959). There exists a finite, strictly positive, finitely additive measure on a Boolean algebra $A$ if and only if $A^+$ is the union of a countable number of ...
3
votes
1answer
84 views

Existence of a quasi-open (a.k.a semi-open) map into a Cantor cube

Recall that a topological space is extremally disconnected if the closure of any open set is open. A continuous map is quasi-open if it maps nonempty open sets onto sets with nonempty interior. For ...
0
votes
1answer
85 views

$\mathbb R$ and $\mathbb F_2$ rank in boolean matrix product

By rank I imply rank over reals ($\mathbb R$). I consider two $n\times n$ matrices $A,B$ having entries in $0/1$. The product below follows usual matrix product rules except $xy$ is $AND(x,y)$ and $x+...
1
vote
1answer
84 views

Density and compactness of Boolean embeddings

Let A and B be Boolean algebras and $h:A\rightarrow B$ a Boolean embedding. If every element of $B$ can be expressed both as a join of meets and as a meet of joins of elements in $h(A)$, then the ...
-1
votes
1answer
86 views

A complete Boolean algebra on a function space

If $(B_1, \cdot_1, +_1, -_1)$ is a complete atomic Boolean algebra (where the induced partial order is $\leq_A$), and $(B_2, \cdot_2, +_2, -_2)$ is a complete atomic algebra (where the induced partial ...
14
votes
1answer
321 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).$$ ...
5
votes
2answers
220 views

Self-homeomorphism of Stone-Čech boundary with an isolated fixed point

$\DeclareMathOperator\bso{\beta^*\!\omega}\DeclareMathOperator\Homeo{Homeo}$Let $\bso$ be the complement of the countable discrete space $\omega$ in its Stone-Čech compactification $\beta\omega$ (some ...
11
votes
2answers
661 views

Analytical origins of the Stone duality

I've asked this question in the HSM community, but by the nature of my question, some user told me to ask this question here. This is the original post https://hsm.stackexchange.com/q/13087/14296 ...
12
votes
0answers
314 views

An internal notion of freeness for complete Boolean algebras

Background and Definition Gaifman and Hales showed that there are no infinite free complete Boolean algebras. But let a complete Boolean algebra $B$ be internally free if there is a set $X\subseteq B$ ...
8
votes
0answers
111 views

On the number of Reed–Muller codewords with no consecutive ones

$\DeclareMathOperator\RM{RM}\DeclareMathOperator\Eval{Eval}$Consider the polynomial ring $\mathbb{F}_2[x_1,x_2,\dotsc,x_m]$ and let $f\in \mathbb{F}_2[x_1,x_2,\dotsc,x_m]$. Let us now fix a Gray ...
1
vote
0answers
107 views

Minimizing all aspects of the definition of Boolean algebra

There are many equivalent ways to describe Boolean algebras. There are a number of different ways to "minimize" the description. We can: Minimize the number of function symbols. Minimize ...
6
votes
0answers
117 views

Rigid boolean inclusions?

A boolean algebra $B$ is rigid if it has no nontrivial automorphisms and atomless if it has no minimal nonzero elements. $A \subseteq B$ is a complete boolean inclusion if $B$ is complete and $A$ is a ...
5
votes
0answers
82 views

Computing the zeta transform of a Boolean function: Space-time tradeoff

Let $f : \mathbb{F}_2^n \to \mathbb{F}_2$ be a Boolean function in $n$ variables. The zeta transform of $f$ is the Boolean function $\zeta_f : \mathbb{F}_2^n \to \mathbb{F}_2$ defined by $$\zeta_f(y) :...
5
votes
1answer
188 views

Boolean valued models in a general setting

It is well known that Boolean valued models play significant roles for set-theoretic purposes. But how well-studied are Boolean valued models in a more general setting, as models for random first-...
7
votes
1answer
349 views

A set theoretic question arising from trying to understand a sheaf cohomology question

I'm trying to understand the footnote to Example 5.3 in Wiegand - Sheaf cohomology of locally compact totally disconnected spaces which is about constructing a locally compact Hausdorff and totally ...
8
votes
1answer
290 views

Intuition behind Boolean-valued models of set theory

$\DeclareMathOperator\Card{Card}$The book Forcing Eine Einführung in die Mathematik der Unabhängigkeitsbeweise by Hoffmann provides an intuition behind boolean valued models of set theory which I will ...
5
votes
1answer
279 views

Is the Pierce spectrum useful elsewhere in Mathematics?

In Borceaux and Janelidze's Galois Theories, a construction of the Pierce spectrum is given. It is the poset of ideals in a Boolean ring. It's construction is reminiscent of the Zariski spectrum in ...
5
votes
1answer
249 views

Complete Boolean algebras of subsets of $\mathbb N$

Let $\mathfrak A$ be a subset of $\mathrm{Pow}(\mathbb N)$, the powerset of $\mathbb N$. Assume that $\mathfrak A$ is a complete Boolean algebra in the induced order, i.e., the inclusion order. Does ...
7
votes
1answer
187 views

Functions on Stone spaces as "enveloping algebra" of Boolean algebra

I'm looking for references for the following closely related facts: Given a Boolean algebra $B$, I denote by $\mathbb{Z}[B]$ the free ring generated by symbols $e_b$ such that $e_b e_{b'} = e_{b \cap ...
3
votes
1answer
113 views

What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970), Part (b) of the corollary says that if an identity is satisfied by some ...
4
votes
0answers
80 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 \...
6
votes
1answer
250 views

Can this ultrafilter convergence condition be expressed as a compactness condition?

Suppose that $X$ is a topological space. Let us say that an ultrafilter $\mathcal U$ on the Boolean algebra $C_X$ of clopen subsets of $X$ is partition-prime if whenever $X = \amalg_{i \in I} X_i$ is ...
2
votes
0answers
87 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 ...
37
votes
1answer
2k 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 ...
2
votes
2answers
223 views

Existence of measurable "inclusion" into Euclidean space

Let $(\Omega,\mathfrak{F})$ be a measurable space. When does there exist an injective measurable function $f:(\Omega,\mathfrak{F})\to (\mathbb{R}^n,B(\mathbb{R}^n))$ to some Euclidean space, here $B(\...
2
votes
1answer
85 views

Decreasing sequences in a finitely generated closure algebra

I am interested in finitely generated closure algebras (as a special case of Heyting algebras), and in decreasing sequences of elements within such an algebra that have no lower bound. Call two ...
15
votes
1answer
814 views

What is a module over a Boolean ring?

Recall that a (unital) Boolean ring is a (unital) commutative ring $A$ where every element is idempotent; it follows that $A$ is of characteristic 2. There is an equivalence of categories between ...
6
votes
1answer
240 views

Reduced products of complete Boolean algebras

I expect that complete Boolean algebras are not closed under reduced products modulo $\kappa$-complete filters, for any regular cardinal $\kappa$. Is it true? And, is a reference for this?
8
votes
0answers
235 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}$ ...
12
votes
1answer
333 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\...
3
votes
1answer
130 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 ...
4
votes
1answer
162 views

A problem of non-emptiness of intersections of certain chains of regular open sets

Let $X$ be a topological space and $\mathrm{RO}(X)$ its complete boolean algebra of regular opens. Define well inside relation: $$U\prec V\iff\overline{U}\subseteq V.$$ Let $\mathcal C\subseteq\mathrm{...
5
votes
1answer
179 views

Do 1-additive maps admit tensor products?

Let $\mathcal{F}$ be a set algebra (or a Boolean algebra). Following Kalton, let me call a function $f\colon \mathcal{F}\to \mathbb R$ $\delta$-additive ($\delta \geqslant 0$), whenever $f(\varnothing)...
7
votes
2answers
225 views

Linear suborders of $(P(\omega),\subseteq)$

Consider the partial order $(P(\omega),\subseteq)$. Let $L$ be a dense linear suborder. Does $L$ have a countable dense subset? (Note that it contains a copy of $\mathbb R$, via Dedekind cuts of $\...
1
vote
1answer
145 views

Ordering a subset of the clopens of a Stone space

Let $P$ be a countably infinite set of propositional variables and $\mathcal{L}_P$ be the propositional language generated from $P$ and the usual connectives $\wedge$, $\neg$, $\vee$. The set $\...
5
votes
0answers
158 views

Boolean functional equations

My current approach to investigating reversible quantum gates requires the solution of Boolean functional equations. For example, $$f(x,y,z) = f(x,y \oplus f(x,y,z), z \oplus f(x, y, z)),$$ where $f\...
6
votes
1answer
200 views

Is the category of atomless Boolean algebras with complete embeddings closed under coproducts?

Consider the category whose objects are atomless Boolean algebras (not necessarily complete) and whose arrows are complete embeddings. Does a coproduct exist in this category for any two atomless ...
4
votes
1answer
288 views

Functor from rings into compact Hausdorff spaces

There is an adjunction $\text{Bool}^{op} \leftrightarrow \text{Set}$ between boolean algebras and sets which sends a boolean algebra to the set of its prime ideals and a set $X$ to $[X, \mathbb{F}_2]_{...
4
votes
1answer
203 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 ...
2
votes
0answers
93 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 ...
2
votes
2answers
339 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 ...
6
votes
1answer
246 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 ...
2
votes
1answer
154 views

Semi-rigid boolean algebras

A boolean algebra is rigid if it has no nontrivial automorphisms. Call it semi-rigid if none of its nontrivial automorphisms has any fixed points other than 0 and 1.* The four-element algebra $\{0, b, ...
7
votes
4answers
543 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?
2
votes
1answer
163 views

Separability of the Stone space of a free sigma-algebra

Let $X$ be the Stone space of the free $\sigma$-algebra $A$ on $\omega_1$ free generators. Is $X$ separable (i.e. does $X$ contain a countable dense set)?
2
votes
0answers
209 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; ...
1
vote
0answers
101 views

Notions of connected components in a finite family fibration

Let $\Pi_0:\mathsf{FinFam}(\mathsf C)\to \mathsf{FinSet}$ be the fibration exhibiting the free finite coproduct completion of $\mathsf C$. Suppose $\mathsf C$ has finite limits so that the extensive $\...
3
votes
1answer
107 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.) ...
2
votes
0answers
136 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 ...
1
vote
1answer
144 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 ...

1
2 3 4 5