MATH 280B/C COURSE INFORMATION
Math 280C is a continuation of Math 280B. The material covered in
Math 280C includes the following:
(1) Completion of the material on Recursion Theory and Gödel's
incompleteness theorems.
(2) Descriptive set theory and Determinacy: Regularity properties,
scales, Coding Lemma, infinitary combinatorics under Determinacy.
Possible books: For (1) see below for Math 280B. For (2):
Moschovakis: Descriptive Set Theory; Kechris: Classical Descriptive
set theory; Kanamori: The Higher Infinite.
Math 280B is a continuation of 280A. The material covered in 280B
includes the following
(1) Basic techniques in Model Theory:
(a) Löwenheim-Skolem theorems
(b) Basic fact about types
(c) Ultraproduct
(2) Basic notions/methods in Recursion Theory and Gödel's
incompleteness theorems.
Possible books are David Marker: Model Theory: An introduction for
(1) and Herbert Enderton: A mathematical introduction to logic for
(2).
GRADING: The grade will be determined based on the
homework and the take-home final.
HOMEWORKS:
(1) Homeworks will be collected roughly bi-weekly, for each homework
the due date will be specified.
(2) Important: It is crucial that you learn to write
the arguments briefly but correctly and completely, and that you
will carefully chose what to write. For this reason I will always
stipulate the maximum length of the text you may use. If you are
typing, the size of the font must not be less than 10pt. I
will not read any text that exceeds the specified maximum
length.
HOME MATH 280B/C