Some dichotomy theorems for isomorphism relations of countable models
AbstractStrengthening known instances of Vaught Conjecture, we prove the Glimm-Effros dichotomy theorems for countable linear orderings and for simple trees. Corollaries of the theorems answer some open questions of Friedman and Stanley in an Lω1ω-interpretability theory. We also give a survey of this theory.
2011 ◽
Vol 23
(1)
◽
pp. 60-63
◽
2008 ◽
2020 ◽
Vol 91
(1)
◽
pp. 41-45
◽
Keyword(s):
2020 ◽
2020 ◽
2019 ◽
2001 ◽
Vol 1779
(1)
◽
pp. 62-67
◽