Generic Gödel's incompleteness theorem

DOI10.1007/s10469-017-9442-9zbMath1485.03245OpenAlexW2763843717MaRDI QIDQ683374

Alexander N. Rybalov

Publication date: 6 February 2018

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-017-9442-9

zbMATH Keywords

formal arithmeticGödel's theoremgeneric subsets of arithmetic statements

Mathematics Subject Classification ID

Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Generic-case complexity, decision problems in group theory, and random walks.
• Generic incompleteness of formal arithmetic

This page was built for publication: Generic Gödel's incompleteness theorem