Skip to main content
SpringerLink
Log in

Classifying ℵo-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Clark and Krauss [1977] presents a classification of complete, satisfiable and ℵo-categorical theories in first order languages with finite non-logical vocabularies. In 1988 the first author modified this classification and raised three questions about the distribution of finitely axiomatizable theories. This paper answers two of those questions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abian, A., 1972, ‘Categoricity of denumerable atomless Boolean rings’, Studia Logica 30, 63–67.

    Google Scholar 

  2. Chang, C. C., and H. J. Keisler, 1973, Model Theory, Amsterdam.

  3. Clark, D. M., and P. H. Krauss, 1977, ‘Relatively homogenous structures’, in: Logic Colloquium 76, R. O. Grandy, and J. M. E. Hyland (eds.), Amsterdam, 255–282.

  4. Schmerl, J. H., 1977, ‘On ℵ0-categoricity and the theory of trees’, Fundamenta Mathematicae 94, 112–128.

    Google Scholar 

  5. Sikorski, R., 1969, Boolean Algebras, New York.

  6. Weaver, G., 1988, ‘Classifying ℵ0-categorical theories’, Studia Logica 47, 327–345.

    Google Scholar 

  7. Weaver, G., and D. Lippel, ‘Amorphous models’ (to appear).

Download references

Authors
  1. George Weaver
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Lippel
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Weaver, G., Lippel, D. Classifying ℵo-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. Studia Logica 60, 275–297 (1998). https://doi.org/10.1023/A:1005016100411

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005016100411

Search

Navigation