scientific article; zbMATH DE number 1016911

MaRDI QIDQ4339021zbMATH OpenFDO

Authors Zofia Adamowicz, Paweł Zbierski

Publication date 4 June 1997

zbMATH Keywords

famous theoremsfirst-order logicGoodstein's theoremGödel's incompleteness theoremsmathematical logicMatiyasevich's theorem on diophantine relationsmodel theorymodelsrelational structuresTarski's theorem on quantifier eliminationtextbooktheoriestruth

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• A course on mathematical logic
• A course on mathematical logic
• scientific article; zbMATH DE number 641289
• scientific article; zbMATH DE number 2232435

Cited in

(30)

• Keeping logic in the trivium of computer science: a teaching perspective
• The Matiyasevich theorem. Preliminaries
• Diophantine sets. Preliminaries
• When is a schema not a schema? On a remark by Suszko
• Basic Diophantine relations
• Diophantine sets. II
• Formalization of the MRDP theorem in the Mizar system
• A generalization of the second incompleteness theorem and some exceptions to it
• Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish
• Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Limits of mathematics. A journey through the core subjects of mathematical logic.
• Logic. A brief course. Translated from the Italian by Krzysztof R. Apt
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• The mathematics of logic. A guide to completeness theorems and their applications
• scientific article; zbMATH DE number 4095421 (Why is no real title available?)
• scientific article; zbMATH DE number 1521608 (Why is no real title available?)
• Restricted polynomial induction versus ordinary induction
• scientific article; zbMATH DE number 785429 (Why is no real title available?)
• scientific article; zbMATH DE number 921051 (Why is no real title available?)
• Restricted polynomial induction versus parameter free ordinary induction
• Rasiowa-Sikorski sets and forcing
• A first journey through logic
• scientific article; zbMATH DE number 2205635 (Why is no real title available?)
• Mizar Course in Logic and Set Theory
• Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.
• scientific article; zbMATH DE number 2232435 (Why is no real title available?)
• A course on mathematical logic
• Mathematical logic. On numbers, sets, structures, and symmetry
• Passive induction and a solution to a Paris-Wilkie open question

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