The Arithmetical Hierarchy in the Setting of $\omega_1$
From MaRDI portal
Publication:5413742
DOI10.3233/COM-13022zbMath1350.03034OpenAlexW1898535578MaRDI QIDQ5413742
J. Wallbaum, Karen Lange, Julia F. Knight, Jacob Carson, Jesse Johnson, Charles F. D. McCoy
Publication date: 30 April 2014
Full work available at URL: https://content.iospress.com/articles/computability/com022
Computable structure theory, computable model theory (03C57) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)
Related Items (3)
UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES ⋮ Finding bases of uncountable free abelian groups is usually difficult ⋮ Computable categoricity for pseudo-exponential fields of \(\aleph_1\)
This page was built for publication: The Arithmetical Hierarchy in the Setting of $\omega_1$
