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

    loading  Checking for direct PDF access through Ovid

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.

Related Topics

    loading  Loading Related Articles