Concrete Mathematical Incompleteness: Basic Emulation Theory

DOI10.1007/978-3-319-96274-0_12zbMath1429.03209OpenAlexW2905116863MaRDI QIDQ5214683

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)

Cites Work

• Subtle cardinals and linear orderings
• Preferential Arrangements
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Concrete Mathematical Incompleteness: Basic Emulation Theory