Course.
Math 116A Fall 2019
10:30 - 11:55 TR, 187 Linde Hall

Instructor.
Aristotelis Panagiotopoulos
Office: 102 Linde Hall
panagio at caltech.edu
Office hours. Wednesdays 4-5pm(but feel free to knock my door or send email!)

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";
see also What is elementary geometry?

Homework.
HW1. (Solutions)
HW2. (Solutions)
HW3. (Solutions)
HW4. (Solutions)
HW5. (Solutions)

Home. Back to my website.