Saturday, October 18, 201410:30 amNERDS: New England Recursion & Definability SeminarAssumption College, Worcester, MA
The implicitly constructible universe
Marcia Groszek
Dartmouth College
The implicitly constructible universe, IMP, defined by Hamkins and Leahy, is produced by iterating implicit definability through the ordinals. IMP is an inner model intermediate between L and HOD. We look at some consistency questions about the nature of IMP.
Marcia Groszek is a professor on the faculty of Dartmouth College.