University of Connecticut

Course Info

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.

Credits: 3

MATH 5026 - Section 1: Effective Descriptive Set Theory

Description: The study of well-behaved sets of reals, with a focus on the effective theory. Topics include: the Borel, analytic,and co-analytic sets, Polish spaces, Baire category, measure, wellfoundedness, ordinal notations, the hyperarithmetic hierarchy, and determinacy.

Instructor: Linda Brown Westrick

Offered: Spring

Credits: 3

Sections: Spring 2017 on Storrs Campus

PSCourseID Course Sec Comp Time Room Instructor
24850 5026 001 Lecture MWF 12:20:00 PM-01:10:00 PM OAK239 Linda Westrick