A note on non-classical nonstandard arithmetic

DOI10.1016/J.APAL.2018.11.001OpenAlexW2964267843WikidataQ128911370 ScholiaQ128911370MaRDI QIDQ1715475FDOQ1715475

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

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

zbMATH Keywords

nonstandard analysisintuitionismhigher-order arithmetic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Non-commutative infinitary Peano arithmetic
• On certain questions of nonstandard arithmetic
• Non-commutative classical arithmetical sequent calculi are intuitionistic
• The strength of nonstandard methods in arithmetic
• Title not available (Why is that?)
• ERNA and Friedman's Reverse Mathematics
• Title not available (Why is that?)
• 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)