From Nonstandard Analysis to Various Flavours of Computability Theory

DOI10.1007/978-3-319-55911-7_40zbMath1459.03106arXiv1609.01919OpenAlexW2589198034MaRDI QIDQ2988850

Sam Sanders

Publication date: 19 May 2017

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

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

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05) Higher-type and set recursion theory (03D65)

Related Items

To be or not to be constructive, that is not the question, On the Herbrand functional interpretation, COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, Reverse formalism 16, The strength of compactness in computability theory and nonstandard analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A functional interpretation for nonstandard arithmetic
• The crisis in contemporary mathematics
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Commuting and Noncommuting Infinitesimals
• Internal set theory: A new approach to nonstandard analysis
• Noncommutative geometry and reality
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Non-standard analysis