Course.
Math 116A Fall 2017
1:00-2:25 TR, B127 GCL

Instructor.
Aristotelis Panagiotopoulos
Building 15, office 210-5
panagio at caltech.edu
Office hours. Thursdays 4:30-5:30 (at office 210-5, Building 15)

Syllabus. We will cover various topics in first-order logic and model theory, such as: Gödel's Completeness Theorem and Compactness Theorem; definability, elementary equivalence, complete theories, categoricity; the Skolem-Löwenheim Theorems; the Back and Forth Method and Ehrenfeucht-Fraïssé games; Fraïssé theory; elimination of quantifiers. We will also discuss applications to algebra and other areas of mathematics.

This is the first part in a three-term sequence of courses which provides an introduction to the basic concepts and results of mathematical logic and set theory.

Book. We will follow David Marker's "Model Theory: An introduction".

Homework.(Grades average/standard deviation)
HW1. (Solutions),
HW2. (Solutions) ,
HW3. (Solutions),
HW4. (Solutions),
HW5. (Solutions),
HW6. (Solutions),
HW7. (Solutions),
HW8. (Solutions)

Teaching Assistant.
Ronnie Chen
rchen2 at caltech.edu
Office hours. Saturdays 7-8 PM (at room 103, Downs)

Home. Back to my website.