scientific article; zbMATH DE number 1016911
From MaRDI portal
Publication:4339021
zbMath0874.03003MaRDI QIDQ4339021
Zofia Adamowicz, Paweł Zbierski
Publication date: 4 June 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
textbookmodelsfirst-order logictruthmodel theorymathematical logicrelational structuresGödel's incompleteness theoremstheoriesGoodstein's theoremfamous theoremsMatiyasevich's theorem on diophantine relationsTarski's theorem on quantifier elimination
Related Items (13)
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos ⋮ Restricted polynomial induction versus parameter free ordinary induction ⋮ Restricted polynomial induction versus ordinary induction ⋮ Passive induction and a solution to a Paris-Wilkie open question ⋮ Keeping logic in the trivium of computer science: a teaching perspective ⋮ A generalization of the second incompleteness theorem and some exceptions to it ⋮ The Matiyasevich theorem. Preliminaries ⋮ Diophantine sets. Preliminaries ⋮ Rasiowa–Sikorski Sets and Forcing ⋮ 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
This page was built for publication:
