# Tagged Questions

69 views

### Construct countable Boolean algebra

How can I construct a countably infinite Boolean algebra with $n$ atoms, for $n \in \mathbb{N}$?
166 views

### Non-isomorphic countable Boolean algebras

I'm trying to solve the next exercise: Construct a sequence $\mathcal{B}_0,\mathcal{B}_1, \ldots$ of countable Boolean algebras such that for all $m \neq n$ then $\mathcal{B}_0 \ncong \mathcal{B}_1$. ...
138 views

### Boolean algebra spectrum

The first-order spectrum of a theory, is the set of cardinalities of its finite models. Finite models of Boolean algebras are informally n-dimensional cubes, therefore boolean algebra spectrum is the ...
130 views

### Saturated Boolean algebras in terms of model theory and in terms of partitions

Let $\kappa$ be an infinite cardinal. A Boolean algebra $\mathbb{B}$ is said to be $\kappa$-saturated if there is no partition (i.e., collection of elements of $\mathbb{B}$ whose pairwise meet is $0$ ...
194 views

### Lindenbaum algebra is a free algebra

The following is a continuation of this question. I would like to prove that the Lindenbaum algebra is a free algebra. Hopefully I would like to hear hints on how to proceed in the 'right' ...
172 views

### Can the reduced product construction generate boolean-valued models?

In model theory, the reduced product construction contains a collection of structures or models, a set I that indexes the collection, and a filter U on I. Ultraproducts are a special case of reduced ...
Why is the theory of Boolean algebras without atoms $\omega$-categoric?