Fall 2019
Homework
You must submit your homework as a post on this blog (after you register); it will not be public, only you and I (and the TA) can see it. Posts are written in basic HTML (the page formatting is automatic, just use the built-in editor), augmented by LaTeX for in-text formulas (typed as $\$$math stuff$\$$) and displayed formulas (typed as $\$\$$math stuff$\$\$$). No other LaTeX environments are needed (or recognized).
Note: To post from off campus, you need to go through a McMaster VPN connection.
Date Due (at midnight) | Assignment | Remarks |
Sep 20 | Homework 1 | |
Oct 03 | Homework 2 | |
Oct 17 | Homework 3 | |
Nov 08 | Homework 4 | |
Nov 25 | Homework 5 |
Covered so far
Week | Monday | Thursday | Required reading |
Sep 9 – 13 | Structures Morphisms | Theories | Structures |
Sep 16 – 20 | Categoricity | Quantifier elimination | Theories |
Sep 23 – 27 | QE for ACF, some RCF | QE for RCF | Quantifier elimination |
Sep 30 – Oct 4 | QE for RCF | Model completeness | Model completeness |
Oct 7 – 11 | Types | Types and embeddings | Types |
Oct 21 – 25 | Saturation | Saturation Omitting types | Saturation |
Oct 28 – Nov 1 | Atomic | Indiscernibles | Omitting types |
Nov 4 – 8 | Totally transcendental | Totally transcendental | Indiscernibles Totally transcendental |
Nov. 11 – 15 | class cancelled | Vaught pairs | Vaught pairs |
Nov. 18 – 22 | Vaught pairs | Algebraic closure | Algebraic closure |
Nov. 25 – 29 | Pregeometries | Strong minimality | Pregeometries Strong minimality |
Dec. 1 – 4 | Baldwin-Lachlan Theorem | Baldwin-Lachlan Theorem |
General information
Instructor: | Patrick Speissegger |
Office: | HH 322 |
Telephone: | extension 23430 |
E-mail: | speisseg@math.mcmaster.ca |
Office Hours: | M 14:00-16:00, or by appointment |
Lectures: | MTh 9:00-10:15 in HH 312 |
Course materials: | lecture notes, provided |
Assessment: | Homework = 80% Participation = 20% |
Homework: | Assigned every other week. |
Midterms: | none |
Final exam: | none |
Missed academic work: | In the event of an absence for medical or other reasons, students should review and follow the Academic Regulation in the Undergraduate Calendar Requests for Relief for Missed Academic Term Work. |