Some Dichotomy Theorems for Isomorphism Relations of Countable Models

Gao, Su

Gao, Su

J. Symbolic Logic, Tome 66 (2001) no. 1, p. 902-922 / Harvested from Project Euclid

Résumé

Strengthening 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_{\omega 1\omega}$-interpretability theory. We also give a survey of this theory.

Publié le : 2001-06-14
Classification:

@article{1183746481,
     author = {Gao, Su},
     title = {Some Dichotomy Theorems for Isomorphism Relations of Countable Models},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 902-922},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746481}
}

Gao, Su. Some Dichotomy Theorems for Isomorphism Relations of Countable Models. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  902-922. http://gdmltest.u-ga.fr/item/1183746481/