NERDS: New England Recursion & Definability SeminarSaturday, October 18, 201410:30 amAssumption College, Worcester, MA
The implicitly constructible universe
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.
Posted byon September 16th, 2014