A note on countable complete theories having three isomorphism types of countable models
Robert E. Woodrow · Journal of Symbolic Logic · 1976
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].