The boolean-algebras tag has no wiki summary.

**5**

votes

**3**answers

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

**-1**

votes

**1**answer

201 views

### Simplifying Boolean Algebra [closed]

I have the following boolean algebra equation:
(A + B + C)(D + ~C)
I don't know if my equation is in standard form, so just to be explicit, by '+' I mean OR and the parenthesis mean AND. ~ is NOT.
...

**5**

votes

**2**answers

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

**2**

votes

**2**answers

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

**4**

votes

**2**answers

811 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

**2**answers

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

**2**

votes

**1**answer

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

**1**

vote

**2**answers

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

**2**

votes

**1**answer

336 views

### Extending a complete lattice to get a “nice” Boolean lattice

Suppose we have a complete lattice. Which additional axioms (e.g. distributivity axioms) are needed to obtain a Boolean lattice in which complement(a) = lub{b | b /\ a = bottom} = glb{b | b / a = ...

**3**

votes

**2**answers

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

**6**

votes

**2**answers

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

**0**

votes

**1**answer

199 views

### Low degree approximation of the polynomial extension of the logical-or function

Let $x\in\{0,1\}^n$ be a binary vector of dimension $n$, and let $OR(x)$ be the "logical or" function (i.e., returns $1$ if at least one of the coordinates is $1$ and otherwise returns $0$).
Consider ...

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

**4**answers

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

**2**

votes

**2**answers

289 views

### “Duals” of Lindenbaum algebras

From Wikipedia I learn:
The Lindenbaum algebra A of a theory T consists of the equivalence
classes of sentences of T. The operations in A are inherited from those in T.
If there are ...

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

**9**

votes

**3**answers

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

**4**

votes

**2**answers

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

**13**

votes

**0**answers

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

205 views

### Defining filters in closure algebras: reference request

A closure algebra C is a boolean algebra B together with a unary closure operator, and additional axioms, the Kuratowski axioms, that the closure operator must satisfy. (The Wikipedia article prefers ...

**11**

votes

**4**answers

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

**6**

votes

**1**answer

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

**7**

votes

**1**answer

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

**1**

vote

**5**answers

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

**6**

votes

**4**answers

713 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

**2**answers

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

**3**

votes

**1**answer

725 views

### A possible generalization of the Cox Theorems (boolean algebra => bayesian probabilities)

This post is an attempt to gather people to solve a particular problem in mathematics, something that can actually be published and seems to me simple enough to test this mathoverflow as a ...

**3**

votes

**2**answers

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

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