We characterize the classifiability of a countable first-order theory T in terms of the solvability (in the sense of [Friedman00]) of the potential-isomorphism problem for models of T.
J. Symbolic Logic
68(2):
580-588
(June 2003).
DOI: 10.2178/jsl/1052669064
ACCESS THE FULL ARTICLE
It is not available for individual sale.
This article is only available to subscribers.
It is not available for individual sale.
It is not available for individual sale.