AD implies omega_1 is measurable | Department of Mathematics

AD implies omega_1 is measurable

Event Information
Event Location: 
GAB 461
Event Date: 
Wednesday, September 18, 2013 - 3:30pm

Under the axiom of choice, being a measurable cardinal is a strong statement. The axiom of determinacy, which contradicts choice, makes the first uncountable ordinal measurable. The basic definitions will be covered and this talk is accessible to all.