scientific article; zbMATH DE number 3920465

MaRDI QIDQ3695280zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

infinite processGödel's arithmetic logictypes of infinite extension processes

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• On the incompleteness theorems of Kurt Gödel
• scientific article; zbMATH DE number 1749189
• Gödel's incompleteness theorems
• Gödel incompleteness theorems and the limits of their applicability. I
• A direct proof of Gödel's incompleteness theorems

Cited in

(8)

• scientific article; zbMATH DE number 2182417 (Why is no real title available?)
• Some transfinite generalisations of Gödel's incompleteness theorem
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• An implication of G\"odel's incompleteness theorem
• scientific article; zbMATH DE number 799322 (Why is no real title available?)
• On Gödel incompleteness and finite combinatorics
• scientific article; zbMATH DE number 5037243 (Why is no real title available?)
• A Note on Boolos' Proof of the Incompleteness Theorem

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 Q3695280)