A note on non-classical nonstandard arithmetic

DOI10.1016/j.apal.2018.11.001OpenAlexW2964267843WikidataQ128911370 ScholiaQ128911370MaRDI QIDQ1715475

Sam Sanders

Publication date: 4 February 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

nonstandard analysisintuitionismhigher-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Nonstandard analysis (26E35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A functional interpretation for nonstandard arithmetic
• Injecting uniformities into Peano arithmetic
• Constructivism in mathematics. An introduction. Volume I
• Reverse mathematics and parameter-free transfer
• Some nonstandard equivalences in reverse mathematics
• To be or not to be constructive, that is not the question
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• On Brouwer's continuity principle
• Nonstandard functional interpretations and categorical models
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Nonstandardness and the bounded functional interpretation
• Bounded functional interpretation
• Internal set theory: A new approach to nonstandard analysis
• On Weak Markov's Principle
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Non-standard analysis
• On uniform weak König's lemma

This page was built for publication: A note on non-classical nonstandard arithmetic