scientific article; zbMATH DE number 1016911
This textbook consists of two parts. Part I presents an essentially mathematical introduction to mathematical logic at graduate level, while Part II, written at an advanced level, contains a number of famous theorems, crucial in the development of mathematics and mathematical logic. Chapters 1 to 4 are devoted to the theory of relational structures and include some elements of the theory of Boolean algebras. In Chapters 5 to 7 the fundamental notions, such as formulae, the truth relation, theories and models, are introduced. Chapters 8 to 10 deal with syntactical aspects of first-order classical logic. Chapter 11 contains the Gödel completeness theorem for first-order logic. Part I ends with Chapters 12 to 17 related to model theoretic topics, such as definability, models of Peano arithmetic, Löwenheim-Skolem theorems, ultraproducts, realization, omitting types etc. Part II starts with celebrated Gödel's incompleteness theorems (Chapters 18 to 21). In Chapter 22, the independence result of Goodstein's theorem from Peano arithmetic is presented. Chapter 23 is devoted to Tarski's theorem on quantifier elimination in the theory of real closed fields. The subject of Chapter 24 is Matiyasevich's theorem on diophantine relations. Complete and precise proofs of all the above-mentioned theorems are given. Although the material in the second part is substantially more advanced than in the first one, the authors have maintained the same spirit of freshness of presentation. These chapters could hardly be better. The book is extremely clearly written and ideally suited for a serious introductory course on the subject, requiring just standard familiarity with the basic general algebra notions. Each chapter contains selected exercises, some supplied with helpful solution hints. This book may be recommended not only to advanced students of mathematics, computer science and logic, but also to those mathematicians looking for a clear mathematical approach to celebrated theorems of mathematical logic.
- 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)
