The Small-Is-Very-Small Principle
From MaRDI portal
Publication:6301104
DOI10.1002/MALQ.201800088zbMath1521.03234arXiv1805.01178MaRDI QIDQ6301104
Publication date: 3 May 2018
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Gödel numberings and issues of incompleteness (03F40)
This page was built for publication: The Small-Is-Very-Small Principle