Generic incompleteness of formal arithmetic

DOI10.17377/semi.2015.12.015zbMath1361.03063MaRDI QIDQ2630551

Alexander N. Rybalov

Publication date: 28 July 2016

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

formal arithmeticgeneric complexity

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Gödel numberings and issues of incompleteness (03F40)

Related Items

Generic Kleene fixed point theorem ⋮ Generic Gödel's incompleteness theorem