Some nonstandard equivalences in reverse mathematics
From MaRDI portal
Publication:1670765
DOI10.1007/978-3-319-94418-0_37OpenAlexW2963601669MaRDI QIDQ1670765
Publication date: 6 September 2018
Full work available at URL: https://arxiv.org/abs/1804.07952
Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05)
Related Items (5)
Reverse mathematics and parameter-free transfer ⋮ Splittings and disjunctions in reverse mathematics ⋮ A note on non-classical nonstandard arithmetic ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ The strength of compactness in computability theory and nonstandard analysis
This page was built for publication: Some nonstandard equivalences in reverse mathematics