The non-normal abyss in Kleene's computability theory

DOI10.1007/978-3-031-36978-0_4arXiv2302.07066OpenAlexW4384789053MaRDI QIDQ6149028

Sam Sanders

Publication date: 12 January 2024

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

Full work available at URL: https://arxiv.org/abs/2302.07066

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Sums of quasicontinuous functions defined on pseudometrizable spaces
• A note on real cliquish functions
• There are \(2^{\mathfrak{c}}\) quasicontinuous non Borel functions on uncountable Polish space
• USCO and quasicontinuous mappings
• Pincherle's theorem in reverse mathematics and computability theory
• Recursive Functionals and Quantifiers of Finite Types I
• Higher-Order Computability
• On the Products of Bounded Darboux Baire One Functions
• The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
• ON THE UNCOUNTABILITY OF
• Cousin’s lemma in second-order arithmetic
• Open sets in computability theory and reverse mathematics
• On the Computability of the Fan Functional
• On the computational properties of basic mathematical notions

This page was built for publication: The non-normal abyss in Kleene's computability theory