The number of countable isomorphism types of complete extensions of the theory of Boolean algebras

Paul Iverson

Colloquium Mathematicae (1991)

  • Volume: 62, Issue: 2, page 181-187
  • ISSN: 0010-1354

Abstract

top
There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly ω 1 nonisomorphic, denumerable models. In this paper we show that there is no such theory in the class of complete extensions of the theory of Boolean algebras. More precisely, any complete extension of the theory of Boolean algebras has either 1 or 2 ω nonisomorphic, countable models. Thus we answer this conjecture in the negative for any complete extension of the theory of Boolean algebras. In Rosenstein [15] there is a similar conjecture that any countable complete theory which has uncountably many denumerable models must have 2 ω nonisomorphic denumerable models, and this is true without using the Continuum Hypothesis. This paper is an excerpt of the author’s thesis, which was written under the guidance of Professor G. C. Nelson. A more detailed exposition of the material may be found there.

How to cite

top

Iverson, Paul. "The number of countable isomorphism types of complete extensions of the theory of Boolean algebras." Colloquium Mathematicae 62.2 (1991): 181-187. <http://eudml.org/doc/210106>.

@article{Iverson1991,
abstract = {There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly $ω_1$ nonisomorphic, denumerable models. In this paper we show that there is no such theory in the class of complete extensions of the theory of Boolean algebras. More precisely, any complete extension of the theory of Boolean algebras has either 1 or $2^ω$ nonisomorphic, countable models. Thus we answer this conjecture in the negative for any complete extension of the theory of Boolean algebras. In Rosenstein [15] there is a similar conjecture that any countable complete theory which has uncountably many denumerable models must have $2^ω$ nonisomorphic denumerable models, and this is true without using the Continuum Hypothesis. This paper is an excerpt of the author’s thesis, which was written under the guidance of Professor G. C. Nelson. A more detailed exposition of the material may be found there.},
author = {Iverson, Paul},
journal = {Colloquium Mathematicae},
keywords = {number of nonisomorphic models; denumerable models; complete extensions of the theory of Boolean algebras},
language = {eng},
number = {2},
pages = {181-187},
title = {The number of countable isomorphism types of complete extensions of the theory of Boolean algebras},
url = {http://eudml.org/doc/210106},
volume = {62},
year = {1991},
}

TY - JOUR
AU - Iverson, Paul
TI - The number of countable isomorphism types of complete extensions of the theory of Boolean algebras
JO - Colloquium Mathematicae
PY - 1991
VL - 62
IS - 2
SP - 181
EP - 187
AB - There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly $ω_1$ nonisomorphic, denumerable models. In this paper we show that there is no such theory in the class of complete extensions of the theory of Boolean algebras. More precisely, any complete extension of the theory of Boolean algebras has either 1 or $2^ω$ nonisomorphic, countable models. Thus we answer this conjecture in the negative for any complete extension of the theory of Boolean algebras. In Rosenstein [15] there is a similar conjecture that any countable complete theory which has uncountably many denumerable models must have $2^ω$ nonisomorphic denumerable models, and this is true without using the Continuum Hypothesis. This paper is an excerpt of the author’s thesis, which was written under the guidance of Professor G. C. Nelson. A more detailed exposition of the material may be found there.
LA - eng
KW - number of nonisomorphic models; denumerable models; complete extensions of the theory of Boolean algebras
UR - http://eudml.org/doc/210106
ER -

References

top
  1. [1] S. Burris, Boolean powers, Algebra Universalis 5 (1975), 341-360. 
  2. [2] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer, New York 1981. 
  3. [3] C. C. Chang and H. J. Keisler, Model Theory, North-Holland, Amsterdam 1973. 
  4. [4] H. B. Enderton, A Mathematical Introduction to Logic, Academic Press, New York 1972. 
  5. [5] Yu. L. Ershov, Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters, Algebra i Logika Sem. 3 (3) (1964), 17-38 (in Russian). Zbl0199.03103
  6. [6] L. Feiner, Orderings and Boolean algebras not isomorphic to recursive ones, Ph.D. Thesis, M.I.T., Cambridge, Mass., 1967. 
  7. [7] P. Iverson, Derivatives of linear orderings with applications to the first order theories of Boolean algebras, Ph.D. Thesis, University of Iowa, Iowa City 1988. 
  8. [8] R. D. Mayer and R. S. Pierce, Boolean algebras with ordered bases, Pacific J. Math. 10 (1960), 925-942. Zbl0097.02003
  9. [9] J. Mead, Prime models and model companions for the theories of Boolean algebras, Ph.D. Thesis, University of Iowa, Iowa City 1975. 
  10. [10] J. Mead, Recursive prime models for Boolean algebras, Colloq. Math. 41 (1979), 25-33. Zbl0445.03016
  11. [11] A. Mostowski and A. Tarski, Boolesche Ringe mit geordnete Basis, Fund. Math. 32 (1939), 69-86. Zbl0021.10903
  12. [12] A. Mostowski and A. Tarski, Arithmetical classes and types of well ordered systems, Preliminary report, Bull. Amer. Math. Soc. 55 (1949), 65. 
  13. [13] G. C. Nelson, Boolean powers, recursive models, and the Horn theory of a structure, Pacific J. Math. 114 (1984), 207-220. Zbl0505.03014
  14. [14] G. C. Nelson, Ultrafilters in Boolean algebras, to appear. 
  15. [15] J. G. Rosenstein, Linear Orderings, Academic Press, New York 1982. 
  16. [16] A. Tarski, Arithmetical classes and types of Boolean algebras, Preliminary report, Bull. Amer. Math. Soc. 55 (1949), 64. 
  17. [17] R. Vaught, Denumerable models of complete theories, in: Infinitistic Methods, Pergamon Press, London 1961, 303-321. 
  18. [18] J. Waszkiewicz, n -theories of Boolean algebras, Colloq. Math. 30 (1974), 171-175. Zbl0301.02046

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.