Direct construction of Scott ideals

DOI10.1007/978-3-031-36978-0_3OpenAlexW4384788269MaRDI QIDQ6149027

Russell G. Miller

Publication date: 12 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-36978-0_3

zbMATH Keywords

computability theoryTuring reducibilityTuring degreePA-degreeScott ideal\( \varPi^0_1\)-classuniform low basis theorem

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Closed choice and a uniform low basis theorem
• On degrees of recursive unsolvability
• The upper semi-lattice of degrees of recursive unsolvability
• Slicing the Truth
• Degrees of models
• Effective aspects of profinite groups
• Effective Galois theory
• Effective content of field theory
• ∏ 0 1 Classes and Degrees of Theories