MATH 5026: Topics in Mathematical Logic
Description: Topics include, but are not restricted to, recursion theory (degree structures, hyperarithmetic hierarchy, applications to computable algebra, reverse mathematics), model theory (quantifier elimination, o-minimality, types, categoricity, indiscernible), set theory (ordinals, cardinals, Martin's axiom, constructible sets, forcing), and proof theory (deductive systems, cut elimination and applications, ordinal analysis). With a change of content, this course is repeatable to a maximum of twelve credits.
Prerequisites: MATH 5260.
MATH 5026 - Section 1: Topics in Logic: Set Theory
Description: Ordinals, transfinite recursion, cardinals, axioms of set theory, forcing, independence and consistency of the axiom of choice and the continuum.
Sections: Fall 2018 on Storrs Campus
|08432||5026||001||Lecture||MWF 10:10:00 AM-11:00:00 AM||MONT313||Solomon, David|