scientific article; zbMATH DE number 1339027
Borel diagonalizationBorel measurabilityCantor's theoremconstructible hierarchyfinite graphsfinite Ramsey theoryfinite treesforcingfoundations of mathematicsGödel's incompleteness theoremsindependence resultspredicativityreverse mathematicswell-quasi-orderingZFC
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35) Second- and higher-order arithmetic and fragments (03F35)
- Incompleteness and the Barcan formula
- Conway's question: the chase for completeness
- Generic incompleteness of formal arithmetic
- Incompleteness and fixed points
- My forty years on his shoulders
- Inconsistency and Incompleteness, Revisited
- Incompleteness in a General Setting
- scientific article; zbMATH DE number 3928990 (Why is no real title available?)
- scientific article; zbMATH DE number 15306 (Why is no real title available?)
- scientific article; zbMATH DE number 1062120 (Why is no real title available?)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Incompleteness Ex Machina
- Concrete mathematical incompleteness: basic emulation theory
- On the Axiom of Canonicity
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)
