scientific article; zbMATH DE number 1016911

MaRDI QIDQ4339021zbMATH OpenFDO

Authors Zofia Adamowicz, Paweł Zbierski

Publication date 4 June 1997

zbMATH Keywords

truthfirst-order logicmodel theorymodelstextbooktheoriesrelational structuresmathematical logicGoodstein's theoremGödel's incompleteness theoremsfamous theoremsMatiyasevich's theorem on diophantine relationsTarski's theorem on quantifier elimination

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)

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

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)