Reverse Mathematics and parameter-free Transfer

DOI10.1016/J.APAL.2018.10.003MaRDI QIDQ6254927arXivWikidataFDO

Authors Benno van den Berg, Sam Sanders

Publication date 24 September 2014

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.APAL.2018.10.003

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Higher-type and set recursion theory (03D65) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Nonstandard analysis (26E35)

arXiv classification

math.LO

Abstract: Recently, conservative extensions of Peano and Heyting arithmetic in the spirit of Nelson's axiomatic approach to Nonstandard Analysis, have been proposed. In this paper, we study the Transfer axiom of Nonstandard Analysis restricted to formulas without parameters. Based on this axiom, we formulate a base theory for the Reverse Mathematics of Nonstandard Analysis and prove some natural reversals, and show that most of these equivalences do not hold in the absence of parameter-free Transfer.

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 Q6254927)