scientific article; zbMATH DE number 1339027
foundations of mathematicsfinite graphsforcingreverse mathematicsfinite treespredicativityBorel measurabilitywell-quasi-orderingindependence resultsZFCBorel diagonalizationconstructible hierarchyCantor's theoremGödel's incompleteness theoremsfinite Ramsey theory
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Consistency and independence results (03E35) Second- and higher-order arithmetic and fragments (03F35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30)
- Inconsistency and Incompleteness, Revisited
- Concrete mathematical incompleteness: basic emulation theory
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- On the Axiom of Canonicity
- Generic incompleteness of formal arithmetic
- Incompleteness Ex Machina
- Incompleteness and fixed points
- Incompleteness and the Barcan formula
- scientific article; zbMATH DE number 15306 (Why is no real title available?)
- Incompleteness in a General Setting
- My forty years on his shoulders
- Conway's question: the chase for completeness
- scientific article; zbMATH DE number 3928990 (Why is no real title available?)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264381)
