The strength of the Inner Model Hypothesis
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006.
In this article we establish some upper and lower bounds for their consistency strength.
14 pages
14 pages