Transcription of Mathematical Logic (Math 570) Lecture Notes
{{id}} {{{paragraph}}}
Mathematical Logic (Math 570) Lecture NotesLou van den DriesFall Semester 2019 Contents1 Mathematical Logic : a brief overview .. Sets and Maps ..52 Basic Concepts of Propositional Logic .. Completeness for Propositional Logic .. Languages and Structures .. Variables and Terms .. Formulas and Sentences .. Models .. Logical Axioms and Rules; Formal Proofs .. 383 The Completeness Another Form of Completeness .. Proof of the Completeness Theorem .. Some Elementary Results of Predicate Logic .. Equational Classes and Universal Algebra .. 544 Some Model L owenheim-Skolem; Vaught s Test .. Elementary Equivalence and Back-and-Forth .. Quantifier Elimination .. Presburger Arithmetic.
uence of set theory on the rest of mathematics was to enable simple constructions of great generality, like cartesian products, quotient sets and power sets, and this involves only very elementary set theory. 1.1. MATHEMATICAL LOGIC: A BRIEF OVERVIEW 3
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}