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 (2)

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

This page was built for publication: Generic incompleteness of formal arithmetic