Reverse mathematics and parameter-free transfer

DOI10.1016/j.apal.2018.10.003OpenAlexW2897708446MaRDI QIDQ1634526

Sam Sanders, Benno van den Berg

Publication date: 18 December 2018

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

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

zbMATH Keywords

nonstandard analysisreverse mathematicshigher types

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Nonstandard analysis (26E35) Higher-type and set recursion theory (03D65)

Related Items (5)

The strength of countable saturation ⋮ A note on non-classical nonstandard arithmetic ⋮ Weyl and Intuitionistic Infinitesimals ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A nonstandard counterpart of WWKL
• A functional interpretation for nonstandard arithmetic
• Recursion on the countable functionals
• Constructivism in mathematics. An introduction. Volume II
• Some nonstandard equivalences in reverse mathematics
• Metastability and higher-order computability
• 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
• Coloring trees in reverse mathematics
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• Slicing the Truth
• Higher-Order Computability
• Brouwerian Counterexamples
• Internal set theory: A new approach to nonstandard analysis
• The Gandy–Hyland functional and a computational aspect of Nonstandard Analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Reverse Mathematics and Π¹₂ Comprehension
• Nonstandard Arithmetic and Reverse Mathematics
• On uniform weak König's lemma

This page was built for publication: Reverse mathematics and parameter-free transfer