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.