**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. (83.8/14.9) (Solutions),

HW2. (85/15) (Solutions) ,

HW3. (84.9/12.8) (Solutions),

HW4. (80.5/17.0) (Solutions),

HW5. (86.3/10.9) (Solutions),

HW6. (89.5/9.9) (Solutions),

HW7. (Solutions),

HW8. (Due to Nov 30)

Ronnie Chen

**Home.**
Back to my website.