skip to content
Math 5026 (336) - SPRING 2007

Description
MATH 5026 (336) : 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

Sections: Spring 2007 in Storrs Campus

Course Sec Comp Time Room Instructor
336 001 Lecture TuTh 11:00:00 AM-12:15:00 PM- MSB117 Joseph Miller
 
These are the most recent data in the math department database for Math 336 in Storrs Campus. There could be more recent data on our class schedules page, where you can also check for sections at other campuses.

Google Search

You can find (possibly outdated) information about Math 336 on our website:
http://www.google.com/search?rls=en&q="math 336"+site:www.math.uconn.edu