Reverse mathematics and parameter-free transfer

DOI10.1016/J.APAL.2018.10.003MaRDI QIDQ1634526zbMATH OpenOpenAlexWikidataFDO

Authors Benno van den Berg, Sam Sanders

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

reverse mathematicsnonstandard analysishigher types

Mathematics Subject Classification ID

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

Recommendations

• Some nonstandard equivalences in reverse mathematics
• ERNA and Friedman's Reverse Mathematics
• Nonstandard Arithmetic and Reverse Mathematics
• Reverse-engineering reverse mathematics
• A note on non-classical nonstandard arithmetic

Cites work

• scientific article; zbMATH DE number 3933369 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 1870414 (Why is no real title available?)
• scientific article; zbMATH DE number 2106998 (Why is no real title available?)
• scientific article; zbMATH DE number 2227817 (Why is no real title available?)
• scientific article; zbMATH DE number 2236625 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• A functional interpretation for nonstandard arithmetic
• A nonstandard counterpart of WWKL
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Brouwerian Counterexamples
• Coloring trees in reverse mathematics
• Constructivism in mathematics. An introduction. Volume II
• Higher-order computability
• 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
• Metastability and higher-order computability
• Nonstandard Arithmetic and Reverse Mathematics
• Nonstandardness and the bounded functional interpretation
• On uniform weak König's lemma
• Open questions in reverse mathematics
• Recursion on the countable functionals
• Reverse Mathematics and Π¹₂ Comprehension
• Slicing the truth. On the computable and reverse mathematics of combinatorial principles
• Some nonstandard equivalences in reverse mathematics
• Subsystems of second order arithmetic
• The Gandy-Hyland functional and a computational aspect of nonstandard analysis
• Uniform versions of some axioms of second order arithmetic

Cited in

(7)

• Computability theory, nonstandard analysis, and their connections
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• Weyl and Intuitionistic Infinitesimals
• ERNA and Friedman's Reverse Mathematics
• Reverse Mathematics and parameter-free Transfer
• The strength of countable saturation
• A note on non-classical nonstandard arithmetic

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

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