The implicitly constructible universe

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.

Marcia Groszek is a professor on the faculty of Dartmouth College.

Posted by on September 16th, 2014