Translator Disclaimer
December 2013 Isomorphism of computable structures and Vaught's Conjecture
Howard Becker
J. Symbolic Logic 78(4): 1328-1344 (December 2013). DOI: 10.2178/jsl.7804180

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 $a \in 2^\omega$, we can ask the same question relativized to $a$. A negative answer for every $a$ implies Vaught's Conjecture for $L_{\omega_1 \omega}$.

Citation

Download Citation

Howard Becker. "Isomorphism of computable structures and Vaught's Conjecture." J. Symbolic Logic 78 (4) 1328 - 1344, December 2013. https://doi.org/10.2178/jsl.7804180

Information

Published: December 2013
First available in Project Euclid: 5 January 2014

zbMATH: 1349.03035
MathSciNet: MR3156527
Digital Object Identifier: 10.2178/jsl.7804180

Subjects:
Primary: 03C57, 03D45, 03E15

Rights: Copyright © 2013 Association for Symbolic Logic

JOURNAL ARTICLE
17 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.78 • No. 4 • December 2013
Back to Top