scientific article; zbMATH DE number 3847355

MaRDI QIDQ3317075zbMATH OpenFDO

Authors Elliott Mendelson

Publication date 1984

zbMATH Keywords

algorithmseffective computabilityelementary extension, ultrapowerfirst-order arithmeticformal number theoryGödel's incompleteness theoremNBG set theorynon- standard analysisquantification theoryZFM 192,19

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Model theory (03Cxx) Computability and recursion theory (03Dxx) Set theory (03Exx) Nonstandard models (03Hxx)

Recommendations

• scientific article; zbMATH DE number 3948221
• scientific article; zbMATH DE number 5309444
• scientific article; zbMATH DE number 4114587
• scientific article; zbMATH DE number 4010468
• scientific article; zbMATH DE number 4027415
• scientific article; zbMATH DE number 3948222
• scientific article; zbMATH DE number 1746885
• Introduction to mathematical logic. A textbook
• Mathematical logic and the foundations of mathematics. An introductory survey. Reprint of the 1963 orig

Cited in

(4)

• scientific article; zbMATH DE number 5309444 (Why is no real title available?)
• A Course in Mathematical Logic for Mathematicians
• scientific article; zbMATH DE number 3948222 (Why is no real title available?)
• Continuous Gromov-Hausdorff distance

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