Article contents
Isomorphism of Computable Structures and Vaught's Conjecture
Published online by Cambridge University Press: 12 March 2014
Abstract
The following question is open: Does there exist a hyperarithmetic class of computable structures with exactly one non-hyperarithmetic isomorphism-type? Given any oracle α ∈ 2ω, we can ask the same question relativized to α. A negative answer for every α implies Vaught's Conjecture for Lω1ω.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2013
References
REFERENCES
- 1
- Cited by