A note on non-classical Nonstandard Arithmetic
From MaRDI portal
Publication:6302283
DOI10.1016/J.APAL.2018.11.001zbMath1532.03098arXiv1805.11705WikidataQ128911370 ScholiaQ128911370MaRDI QIDQ6302283
Publication date: 29 May 2018
Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35) Nonstandard analysis (26E35)
This page was built for publication: A note on non-classical Nonstandard Arithmetic