The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
4answers
335 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
2answers
287 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
2answers
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
3answers
706 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
2answers
566 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
0answers
475 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
1answer
399 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
0answers
197 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 ...
10
votes
4answers
753 views

Jonsson Boolean algebras?

Let us ay that a mathematical structure of cardinality $\omega_1$ is Jonsson whenever each its proper substructure is countable. There are examples of Jonsson groups due to Shelah or Obratzsov. I am ...
6
votes
1answer
339 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
1answer
400 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
5answers
522 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 ...
5
votes
4answers
648 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
2answers
766 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
1answer
685 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
2answers
305 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
7answers
1k 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 ...