Article contents
Some dichotomy theorems for isomorphism relations of countable models
Published online by Cambridge University Press: 12 March 2014
Abstract
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ω1ω-interpretability theory. We also give a survey of this theory.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2001
References
REFERENCES
- 6
- Cited by