A note on non-classical nonstandard arithmetic

DOI10.1016/J.APAL.2018.11.001MaRDI QIDQ1715475zbMATH OpenOpenAlexWikidataFDO

Authors 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

higher-order arithmeticintuitionismnonstandard analysis

Mathematics Subject Classification ID

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

Recommendations

• Reverse mathematics and parameter-free transfer
• Transfer principles in nonstandard intuitionistic arithmetic
• A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
• scientific article; zbMATH DE number 3861160
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof

Cites work

• A functional interpretation for nonstandard arithmetic
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Bounded functional interpretation
• Computability theory, nonstandard analysis, and their connections
• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• Injecting uniformities into Peano arithmetic
• Internal set theory: A new approach to nonstandard analysis
• Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Non-standard analysis
• Nonstandard functional interpretations and categorical models
• Nonstandardness and the bounded functional interpretation
• On Brouwer's continuity principle
• On the mathematical and foundational significance of the uncountable
• On uniform weak König's lemma
• On Weak Markov's Principle
• Reverse mathematics and parameter-free transfer
• Reverse mathematics. Proofs from the inside out
• Some nonstandard equivalences in reverse mathematics
• Subsystems of second order arithmetic
• To be or not to be constructive, that is not the question

Cited in

(9)

• Reverse mathematics and parameter-free transfer
• On certain questions of nonstandard arithmetic
• Non-commutative infinitary Peano arithmetic
• ERNA and Friedman's Reverse Mathematics
• scientific article; zbMATH DE number 3841857 (Why is no real title available?)
• The strength of nonstandard methods in arithmetic
• scientific article; zbMATH DE number 4077395 (Why is no real title available?)
• Non-commutative classical arithmetical sequent calculi are intuitionistic
• A note on non-classical Nonstandard Arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1715475)