Some nonstandard equivalences in Reverse Mathematics
From MaRDI portal
Publication:6300630
DOI10.1007/978-3-319-94418-0_37zbMath1509.03038arXiv1804.07952MaRDI QIDQ6300630
Publication date: 21 April 2018
Foundations of classical theories (including reverse mathematics) (03B30) Nonstandard models in mathematics (03H05)
This page was built for publication: Some nonstandard equivalences in Reverse Mathematics