The shortest definition of a number in Peano arithmetic
From MaRDI portal
Publication:4798206
DOI10.1002/malq.200310006zbMath1016.03041MaRDI QIDQ4798206
Publication date: 19 March 2003
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310006
03F30: First-order arithmetic and fragments
03D20: Recursive functions and relations, subrecursive hierarchies
03D45: Theory of numerations, effectively presented structures
Related Items
On constructivity and the Rosser property: a closer look at some Gödelean proofs, On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos