Extender model: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) No edit summary |
Cobsonwabag (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
<div style="position:fixed;left:0;top:0"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 0px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 400px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 800px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 0px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:Cobson.png|link=]] |
|||
</div> |
|||
<div style="top: 300px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 600px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 900px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
</div> |
|||
<div style="top: 1200px; left: 1200px; position: fixed; float: left;"> |
|||
[[File:coinslot.png|link=]] |
|||
Extender models are [[Inner model theory|inner models]], which have similar fine structure to [[Constructible hierarchy|Gödel's \(L\)]], but which are able to accommodate large cardinals, typically at the level of [[Measurable|measurable cardinals]] and above. Extender models are either constructed - where they have the form \(L[\vec{E}]\) (here, \(\vec{E}\) is an extender or a coherent sequence of them) - and have their fine structure analysed, or are defined in a more broad scope and the abstract properties of all such models considered. For example, a notion of a (weak) extender model for [[Supercompact|supercompactness]] has been isolated, and the properties of such models analysed, however an actual construction of such a model is extremely difficult and has not yet been carried out. N.b: the [[HOD dichotomy]] implies that \(\mathrm{HOD}\) may be a weak extender model for supercompactness, but it lacks the necessary fine structure, as mentioned on [[Ordinal definable|the page]]. |
Extender models are [[Inner model theory|inner models]], which have similar fine structure to [[Constructible hierarchy|Gödel's \(L\)]], but which are able to accommodate large cardinals, typically at the level of [[Measurable|measurable cardinals]] and above. Extender models are either constructed - where they have the form \(L[\vec{E}]\) (here, \(\vec{E}\) is an extender or a coherent sequence of them) - and have their fine structure analysed, or are defined in a more broad scope and the abstract properties of all such models considered. For example, a notion of a (weak) extender model for [[Supercompact|supercompactness]] has been isolated, and the properties of such models analysed, however an actual construction of such a model is extremely difficult and has not yet been carried out. N.b: the [[HOD dichotomy]] implies that \(\mathrm{HOD}\) may be a weak extender model for supercompactness, but it lacks the necessary fine structure, as mentioned on [[Ordinal definable|the page]]. |
||