Isomorphism of Computable Structures and Vaught's Conjecture
AbstractThe 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ω.
Keyword(s):
2007 ◽
Vol 72
(3)
◽
pp. 1003-1018
◽
Keyword(s):
1979 ◽
Vol 25
◽
pp. 1-25
◽
Keyword(s):
2010 ◽
Vol 225
(5)
◽
pp. 2365-2390
◽
2005 ◽
Vol DMTCS Proceedings vol. AE,...
(Proceedings)
◽