Reverse-engineering reverse mathematics

DOI10.1016/J.APAL.2012.11.006zbMath1317.03019OpenAlexW2074785052MaRDI QIDQ1944329

Sam Sanders

Publication date: 5 April 2013

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

Full work available at URL: https://doi.org/10.1016/j.apal.2012.11.006

zbMATH Keywords

nonstandard analysisreverse mathematicsERNA

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Related Items (2)

ERNA and Friedman's Reverse Mathematics ⋮ Saturation and Σ₂-transfer for ERNA

This page was built for publication: Reverse-engineering reverse mathematics