Transfer and a supremum principle for ERNA
From MaRDI portal
Publication:3503762
DOI10.2178/jsl/1208359067zbMath1141.03032MaRDI QIDQ3503762
Publication date: 9 June 2008
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.509.438
03H05: Nonstandard models in mathematics
Related Items
More infinity for a better finitism, The Dirac delta function in two settings of reverse mathematics, ERNA and Friedman's Reverse Mathematics, Relative arithmetic, Saturation and Σ2-transfer for ERNA
Cites Work