{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T07:53:15Z","timestamp":1775461995769,"version":"3.50.1"},"reference-count":40,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":12520,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1979,12]]},"abstract":"<jats:p>There are two origins for first-order theories. One type of theory arises by generalizing the common features of a number of different structures, e.g. the theory of groups, and formulating a set of axioms to encode these common features. Here the set of axioms is well understood, frequently it is finite or at least recursive, but there usually is no clear understanding of all the logical consequences of these axioms. The second type of theory arises by considering the set, <jats:italic>T<\/jats:italic> = Th(<jats:italic>A<\/jats:italic>), of all sentences true in a fixed structure <jats:italic>A<\/jats:italic>,<jats:sup>3<\/jats:sup> e.g. the theory of arithmetic (<jats:italic>N<\/jats:italic>, +, 0) or the theory of the field of complex numbers (alias: the theory of algebraically closed fields of characteristic zero). The second case gives little more insight as to the truth in <jats:italic>A<\/jats:italic> (i.e. membership in <jats:italic>T<\/jats:italic>) of a given sentence \u2205. But it does guarantee that for a given sentence \u2205, either \u2205 or \u00ac\u2205 is in <jats:italic>T<\/jats:italic>, that is, that <jats:italic>T<\/jats:italic> is a complete theory. When does a theory <jats:italic>T<\/jats:italic> of the first type, i.e. with well-understood axioms, posses this completeness property? An obvious sufficient condition is that <jats:italic>T<\/jats:italic> be secretly of the second type, that it have only one model, or, in jargon, <jats:italic>T<\/jats:italic> is categorical. Unfortunately (or fortunately depending on your point of view) for any theory with an infinite model, the L\u00f6wenheim-Skolem theorem shows this to be impossible: The theory has a model in every infinite power. In the mid-50's \u0141o\u015b and Vaught discovered that if a theory <jats:italic>T<\/jats:italic> with no finite models is categorical in some infinite power \u03b1 (all models with cardinality \u03b1 are isomorphic) then <jats:italic>T<\/jats:italic> is complete. We will be dealing below with countable complete theories and will assume, unless stated to the contrary, that each theory has no finite models.<\/jats:p>","DOI":"10.2307\/2273298","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T21:51:21Z","timestamp":1146952281000},"page":"599-608","source":"Crossref","is-referenced-by-count":6,"title":["Stability theory and Algebra"],"prefix":"10.1017","volume":"44","author":[{"given":"John T.","family":"Baldwin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200048477_ref035","first-page":"241","article-title":"The lazy model-theoreticians guide to stability","volume":"71\u201372","author":"Shelah","year":"1975","journal-title":"Logique et Analyse"},{"key":"S0022481200048477_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(76)90017-6"},{"key":"S0022481200048477_ref003","doi-asserted-by":"publisher","DOI":"10.1017\/S1446788700018553"},{"key":"S0022481200048477_ref029","first-page":"531","article-title":"Categoricit\u00e9 en \u21350 et stabilit\u00e9: Constructions les pr\u00e9servant et conditions de ch\u00e2ine","volume":"280","author":"Sabbagh","year":"1975","journal-title":"Comptes Rendus Hebdomadaires des S\u00e9ances de l'Acad\u00e9mie des Sciences, S\u00e9ries A"},{"key":"S0022481200048477_ref028","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(73)90092-6"},{"key":"S0022481200048477_ref020","unstructured":"Lachlan A.H. and Woodrow R. , Countable ultrahomogenous graphs (to appear)."},{"key":"S0022481200048477_ref033","doi-asserted-by":"publisher","DOI":"10.1007\/BF02756711"},{"key":"S0022481200048477_ref025","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0175782-0"},{"key":"S0022481200048477_ref014","volume-title":"Infinite Abelian groups. I","volume":"II","author":"Fuchs","year":"1970"},{"key":"S0022481200048477_ref018","doi-asserted-by":"publisher","DOI":"10.7146\/math.scand.a-10601"},{"key":"S0022481200048477_ref007","unstructured":"Cherlin G. , \u03c9-stable division rings are commutative (to appear)."},{"key":"S0022481200048477_ref001","first-page":"79","volume":"36","author":"Baldwin","year":"1971","journal-title":"On strongly minimal sets"},{"key":"S0022481200048477_ref026","first-page":"92","volume":"43","author":"Rose","year":"1978","journal-title":"Rings which admit elimination of quantifiers"},{"key":"S0022481200048477_ref015","unstructured":"Garavaglia S. , Direct product decompositions of modules (preprint)."},{"key":"S0022481200048477_ref006","unstructured":"Cherlin G. , Croups of small Morley rank (to appear)."},{"key":"S0022481200048477_ref005","unstructured":"Baur W. , Cherlin G. and Macintyre A. , Totally categorical groups and rings (to appear)."},{"key":"S0022481200048477_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(77)90359-3"},{"key":"S0022481200048477_ref039","unstructured":"Wood C. , Notes on the stability of separably closed fields, this Journal (to appear)."},{"key":"S0022481200048477_ref031","volume-title":"Saturated model theory","author":"Sacks","year":"1972"},{"key":"S0022481200048477_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(76)90148-4"},{"key":"S0022481200048477_ref017","volume-title":"Cants Mathematical Monographs","author":"Herstein","year":"1968"},{"key":"S0022481200048477_ref030","first-page":"603","article-title":"Categoricit\u00e9 et stabilit\u00e9: Quelques exemples parmi les groupes et anneaux","volume":"280","author":"Sabbagh","year":"1975","journal-title":"Comptes Rendus Hebdomadaires des S\u00e9ances de l'Acad\u00e9mie des Sciences, S\u00e9ries A"},{"key":"S0022481200048477_ref011","doi-asserted-by":"crossref","first-page":"331","DOI":"10.4064\/fm-82-4-331-346","article-title":"\u213514-kategorishe Theorie nicht-Kommutativer Ringe","volume":"82","author":"Felgner","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200048477_ref037","first-page":"259","volume-title":"Proceedings of the 1974 International Congress of Mathematicians","volume":"1","author":"Shelah"},{"key":"S0022481200048477_ref036","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(71)90015-5"},{"key":"S0022481200048477_ref021","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-71-1-1-25","article-title":"On \u03c91-categorical theories of fields","volume":"71","author":"Macintyre","year":"1971","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200048477_ref038","doi-asserted-by":"crossref","first-page":"81","DOI":"10.4064\/fm-93-2-81-95","article-title":"On stability and products","volume":"93","author":"Wierzejewski","year":"1976","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200048477_ref013","unstructured":"Felgner U. , \u21350-categorical stable groups (to appear)."},{"key":"S0022481200048477_ref040","first-page":"168","article-title":"Rings with \u21351-categorical theories","volume":"13","author":"Zilber","year":"1974","journal-title":"Algebra i Logika"},{"key":"S0022481200048477_ref010","unstructured":"Corcoran J. , Categoricity (to appear)"},{"key":"S0022481200048477_ref032","volume-title":"Classification theory and the number of nonisomorphic models","author":"Shelah","year":"1978"},{"key":"S0022481200048477_ref027","article-title":"Model theory of alternative rings","author":"Rose","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200048477_ref034","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757281"},{"key":"S0022481200048477_ref019","doi-asserted-by":"crossref","first-page":"133","DOI":"10.4064\/fm-81-2-133-145","article-title":"Two conjectures regarding \u03c9-stable theories","volume":"81","author":"Lachlan","year":"1974","journal-title":"Fundamenta Mathematicae"},{"key":"S0022481200048477_ref024","first-page":"124","volume-title":"The metamathematics of algebraic systems","author":"Malcev","year":"1971"},{"key":"S0022481200048477_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/BF02317255"},{"key":"S0022481200048477_ref009","unstructured":"Cherlin G. and Rosenstein J. , On \u21350-categorical Abelian by finite groups (to appear)."},{"key":"S0022481200048477_ref004","unstructured":"Belegradek O.V. , letter to Baldwin J.T. , 12, 1977."},{"key":"S0022481200048477_ref012","volume-title":"Logic Colloquium '76, Oxford","author":"Felgner"},{"key":"S0022481200048477_ref022","doi-asserted-by":"crossref","first-page":"253","DOI":"10.4064\/fm-70-3-253-270","article-title":"On \u03c91-categorical theories of Abelian groups","volume":"70","author":"Macintyre","year":"1970","journal-title":"Fundamenta Mathematicae"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200048477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T20:27:54Z","timestamp":1558902474000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200048477\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["S0022481200048477"],"URL":"https:\/\/doi.org\/10.2307\/2273298","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}