The strength of the Inner Model Hypothesis
Logic
2007-11-06 v1
Abstract
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.
Cite
@article{arxiv.0711.0680,
title = {The strength of the Inner Model Hypothesis},
author = {S-D. Friedman and W. H. Woodin and P. D. Welch},
journal= {arXiv preprint arXiv:0711.0680},
year = {2007}
}
Comments
14 pages