Abstract
For a complete first order theory of Boolean algebras T which has 2 א0 non-isomorphic countable models, we determine the first limit ordinal α = α(T) such that |{Thα,ω(B) : B |= T and ∥B∥ = א0}| = 2א0. We show that for some T's, α(T) = ω · 2, and for all other T's, α(T) = ω · 3. A nonracial ideal I of B is almost principal, if {a εB : I ⌈a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has א0 complete extensions and characterize them by invariants similar to the Tarski's invariants.
| Original language | English |
|---|---|
| Pages (from-to) | 571-582 |
| Number of pages | 12 |
| Journal | Archive for Mathematical Logic |
| Volume | 43 |
| Issue number | 5 |
| DOIs | |
| State | Published - 1 Jul 2004 |
Keywords
- L
- Tarski's invariants
ASJC Scopus subject areas
- Philosophy
- Logic