Reverse Mathematics and parameter-free Transfer
| Authors |
|
|---|---|
| Publication date | 03-2019 |
| Journal | Annals of Pure and Applied Logic |
| Volume | Issue number | 170 | 3 |
| Pages (from-to) | 273–296 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1016/j.apal.2018.10.003
(Final published version)
|
| Permalink to this page | |