Article contents
A note on countable complete theories having three isomorphism types of countable models
Published online by Cambridge University Press: 12 March 2014
Abstract
With quantifier elimination and restriction of language to a binary relation symbol and constant symbols it is shown that countable complete theories having three isomorphism types of countable models are “essentially” the Ehrenfeucht example [4, §6].
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1976
Footnotes
The author is indebted to Professor A. H. Lachlan for his guidance.
The author thanks the referee for suggestions to improve the clarity of exposition.
References
REFERENCES
- 3
- Cited by