The strength of the Inner Model Hypothesis
S-D. Friedman, W.H. Woodin, P.D. Welch
TL;DR
This paper investigates the consistency strength of the Inner Model Hypothesis (IMH) and its stronger variant, SIMH, providing bounds on their logical strength within set theory.
Contribution
It establishes upper and lower bounds for the consistency strength of IMH and SIMH, advancing understanding of their place in set-theoretic hierarchy.
Findings
Bounds for the consistency strength of IMH and SIMH are established
Results clarify the logical strength of inner model hypotheses
The paper refines the theoretical framework for inner model hypotheses
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Diet and metabolism studies · Computability, Logic, AI Algorithms