Concrete mathematical incompleteness: basic emulation theory

DOI10.1007/978-3-319-96274-0_12MaRDI QIDQ5214683zbMATH OpenOpenAlexFDO

Authors Harvey M. Friedman

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-96274-0_12

Mathematics Subject Classification ID

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

Recommendations

• Finite sets and Gödel's incompleteness theorems
• Gödel incompleteness theorems and the limits of their applicability. I
• Finding the limit of incompleteness. I
• Generic Gödel's incompleteness theorem
• scientific article; zbMATH DE number 1339027

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 6759318 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• My forty years on his shoulders
• Preferential Arrangements
• Subtle cardinals and linear orderings
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(2)

• The generic multiverse is not going away
• Weighted Riemann zeta function limits on the real axis

This page was built for publication: Concrete mathematical incompleteness: basic emulation theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5214683)