Abstract.
We prove that the existence of a nonisolated type having a finite domain and which is orthogonal to øin a 1-based theory implies that it has a continuum nonisomorphic countable models.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 6 March 2000 Published online: 12 July 2002
Rights and permissions
About this article
Cite this article
Tanovic, P. A note on countable models of 1-based theories. Arch. Math. Logic 41, 669–671 (2002). https://doi.org/10.1007/s001530100116
Issue Date:
DOI: https://doi.org/10.1007/s001530100116