scientific article; zbMATH DE number 1339027
zbMATH Open0929.03052MaRDI QIDQ4264381FDOQ4264381
Authors: Harvey M. Friedman 
Publication date: 22 September 1999
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (14)
- Incompleteness and the Barcan formula
- Title not available (Why is that?)
- Concrete mathematical incompleteness: basic emulation theory
- Generic incompleteness of formal arithmetic
- Incompleteness and fixed points
- My forty years on his shoulders
- On the Axiom of Canonicity
- Incompleteness in a General Setting
- Conway's question: the chase for completeness
- Title not available (Why is that?)
- Inconsistency and Incompleteness, Revisited
- Title not available (Why is that?)
- Incompleteness Ex Machina
- 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)
