A Course on Mathematical Logic
by Shashi Mohan Srivastava

Persian Title: البته در منطق ریاضی

Summary and Info
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as logic, axiomatic set theory, model theory, recursion theory, and computability. In this new edition, many small and large changes have been made throughout the text. The main purpose of this new edition is to provide a healthy first introduction to model theory, which is a very important branch of logic. Topics in the new chapter include ultraproduct of models, elimination of quantifiers, types, applications of types to model theory, and applications to algebra, number theory and geometry. Some proofs, such as the proof of the very important completeness theorem, have been completely rewritten in a more clear and concise manner. The new edition also introduces new topics, such as the notion of elementary class of structures, elementary diagrams, partial elementary maps, homogeneous structures, definability, and many more.Table of ContentsCoverA Course on Mathematical Logic, Second EditionISBN 9781461457459 ISBN 9781461457466PrefaceContentsChapter 1 Syntax of FirstOrder Logic 1.1 FirstOrder Languages 1.2 Terms of a Language 1.3 Formulas of a Language 1.4 FirstOrder TheoriesChapter 2 Semantics of FirstOrder Languages 2.1 Structures of FirstOrder Languages 2.2 Truth in a Structure 2.3 Models and Elementary Classes 2.4 Embeddings and Isomorphisms 2.5 Some Examples 2.6 Homogeneous Structures 2.7 Downward L�wenheimSkolem Theorem 2.8 DefinabilityChapter 3 Propositional Logic 3.1 Syntax of Propositional Logic 3.2 Semantics of Propositional Logic 3.3 Compactness Theorem for Propositional Logic 3.4 Proof in Propositional Logic 3.5 Metatheorems in Propositional Logic 3.6 Post Tautology TheoremChapter 4 Completeness Theorem for FirstOrder Logic 4.1 Proof in FirstOrder Logic 4.2 Metatheorems in FirstOrder Logic 4.3 Consistency and Completeness 4.4 Proof of the Completeness Theorem 4.5 Interpretations in a Theory 4.6 Extension by Definitions 4.7 Some Metatheorems in ArithmeticChapter 5 Model Theory 5.1 Applications of the Completeness Theorem 5.2 Compactness Theorem 5.3 Upward L�wenheimSkolem Theorem 5.4 Ultraproduct of Models 5.5 Some Applications in Algebra 5.6 Extensions of Partial Elementary Maps 5.7 Elimination of Quanti ers 5.8 Applications of Elimination of Quanti ers 5.9 Real Closed Fields 5.10 Some Applications in Algebra and Geometry 5.11 Isolated and Omitting Types 5.12 Relative Types 5.13 Prime and Atomic Models 5.14 Saturated Models 5.15 Stable TheoriesChapter 6 Recursive Functions and Arithmetization of Theories 6.1 Recursive Functions and Recursive Predicates 6.2 Semirecursive Predicates 6.3 Arithmetization of Theories 6.4 Decidable TheoriesChapter 7 Representability and Incompleteness Theorems 7.1 Representability 7.2 First Incompleteness Theorem 7.3 Arithmetical Sets 7.4 Recursive Extensions of Peano Arithmetic 7.5 Second Incompleteness TheoremReferencesIndex
Review and Comments
Rate the Book
A Course on Mathematical Logic 0 out of 5 stars based on 0 ratings.
Your Rating: ☆☆☆☆☆★★★★★
Your Rating: ☆☆☆☆☆★★★★★
دانلود رایگان
EBOOK File
Instant Download
دسترسی به لیب دی ال مخصوص کاربران ایرانی است. لیب دی ال نیاز به تایید هویت شما جهت ارائه لینک دانلود دارد. لطفا
اینجا
را کلیک کنید و با پاسخ به یک سوال، هویت خود را تایید نمایید.