Blog Archives

Topic Archive: constructibility

NERDS: New England Recursion & Definability SeminarSaturday, October 18, 201410:30 amAssumption College, Worcester, MA

The implicitly constructible universe

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.