Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/theories-with-constants-and-three-countable-models-X0dpLcD6r6
References (11)
-
R. Vaught, Lars Svenonius, E. Engeler, Gebhard Fukrken (1970)
Denumerable Models of Complete Theories -
L. Newelski (1994)
Meager forkingAnn. Pure Appl. Log., 70
-
R. Woodrow (1976)
A note on countable complete theories having three isomorphism types of countable modelsJournal of Symbolic Logic, 41
-
Koichiro Ikeda, A. Pillay, Akito Tsuboi (1998)
On Theories Having Three Countable ModelsMathematical Logic Quarterly, 44
-
A. Pillay (1983)
Countable models of stable theories, 89
-
Predrag Tanovic (2001)
On the number of countable models of stable theoriesFundamenta Mathematicae, 169
-
R. Woodrow (1978)
Theories with a finite number of countable modelsJournal of Symbolic Logic, 43
-
M.G. Peretyatkin (1973)
On complete theories with a finite number of countable models (in Russian)Algebra Log., 12
-
M.G. Peretyatkin (1980)
On theories with three countable models (in Russian)Algebra Log., 19
-
Predrag Tanovic (2006)
On constants and the strict order propertyArchive for Mathematical Logic, 45
-
A. Pillay (1980)
Theories with exactly three countable models and theories with algebraic prime modelsJournal of Symbolic Logic, 45
- Publisher
- Springer Journals
- Copyright
- Copyright © 2007 by Springer-Verlag
- Subject
- Mathematics; Algebra; Mathematics, general; Mathematical Logic and Foundations
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/s00153-007-0054-2
- Publisher site
- See Article on Publisher Site
Abstract
We prove that a countable, complete, first-order theory with infinite dcl( $$ \theta $$ ) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht’s or Peretyatkin’s example.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Mar 17, 2007