scientific article; zbMATH DE number 1016911

zbMATH Open0874.03003MaRDI QIDQ4339021FDOQ4339021

Authors: Zofia Adamowicz, Paweł Zbierski 

Publication date: 4 June 1997

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (27)

• The mathematics of logic. A guide to completeness theorems and their applications
• Title not available (Why is that?)
• 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
• Rasiowa–Sikorski Sets and Forcing
• Title not available (Why is that?)
• Passive induction and a solution to a Paris-Wilkie open question
• Title not available (Why is that?)
• The Matiyasevich theorem. Preliminaries
• Diophantine sets. Preliminaries
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Title not available (Why is that?)
• Diophantine sets. II
• Formalization of the MRDP theorem in the Mizar system
• Title not available (Why is that?)
• Title not available (Why is that?)
• A generalization of the second incompleteness theorem and some exceptions to it
• Restricted polynomial induction versus ordinary induction
• Limits of mathematics. A journey through the core subjects of mathematical logic.
• Keeping logic in the trivium of computer science: a teaching perspective
• Restricted polynomial induction versus parameter free ordinary induction
• Title not available (Why is that?)
• Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish
• When is a schema not a schema? On a remark by Suszko
• Basic Diophantine relations
• A course on mathematical logic
• Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.

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)