On Lα,ω complete extensions of complete theories of Boolean algebras

Matatyahu Rubin

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)571-582
Number of pages12
JournalArchive for Mathematical Logic
Volume43
Issue number5
DOIs
StatePublished - 1 Jul 2004

Keywords

  • L
  • Tarski's invariants

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint

Dive into the research topics of 'On Lα,ω complete extensions of complete theories of Boolean algebras'. Together they form a unique fingerprint.

Cite this