scientific article; zbMATH DE number 785429

MaRDI QIDQ4842680zbMATH OpenFDO

Authors Haim Judah, Martin Goldstern

Publication date 15 August 1995

zbMATH Keywords

incompleteness of arithmeticintroductory course in mathematical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Ultraproducts and related constructions (03C20) First-order arithmetic and fragments (03F30)

Recommendations

• A course on mathematical logic
• A course on mathematical logic
• scientific article; zbMATH DE number 1016911
• Introduction to mathematical logic
• scientific article; zbMATH DE number 641289

Cited in

(6)

• On the spectrum of rings of functions
• A compactness argument in the additive theory and the polynomial method.
• scientific article; zbMATH DE number 1526722 (Why is no real title available?)
• Mathematical logic. Exercises and solutions
• Gödel's Theorems and Zermelo's Axioms
• In the Shadow of Incompleteness: Hilbert and Gentzen

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