Incompleteness in the land of sets

MaRDI QIDQ3511020zbMATH OpenFDO

Authors Melvin Fitting

Publication date 4 July 2008

zbMATH Keywords

finite set theoryincompleteness of arithmeticLöb's theoremundecidability of arithmeticundecidability of first-order logicundefinability of truth in arithmetic

Mathematics Subject Classification ID

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) Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 53543
• scientific article; zbMATH DE number 49449
• scientific article; zbMATH DE number 978993
• Logic and structure
• Finite sets and Gödel's incompleteness theorems

Cited in

(6)

• A representation of recursively enumerable sets through Horn formulas in higher recursion theory
• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• Incompleteness and fixed points
• Finite sets and Gödel's incompleteness theorems
• A step towards absolute versions of metamathematical results
• Mathematical developments of the incompleteness theorems

This page was built for publication: Incompleteness in the land of sets

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