Difference between revisions of "Cellar"

From Cantor's Attic
Jump to: navigation, search
(Canonical inner models: gHOD, gM)
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{DISPLAYTITLE: The cellar}}
 
{{DISPLAYTITLE: The cellar}}
 
 
This page will contain links to summary accounts of supporting foundational or background material used on the rest of the site.  
 
This page will contain links to summary accounts of supporting foundational or background material used on the rest of the site.  
 
  
 
You may like to begin in the [[playroom]] for an entertaining introduction to infinity.  
 
You may like to begin in the [[playroom]] for an entertaining introduction to infinity.  
Line 35: Line 33:
 
* [[Positive set theory]]
 
* [[Positive set theory]]
 
* [[Kripke-Platek|Kripke-Platek set theory]]
 
* [[Kripke-Platek|Kripke-Platek set theory]]
 +
* [[New Foundations]]
  
 
== Forcing ==  
 
== Forcing ==  
Line 42: Line 41:
 
* [[Boolean ultrapowers]]
 
* [[Boolean ultrapowers]]
  
== Canonical inner models ==
+
[[Category:The cellar]]
 
+
* The [[core model]]
+
* The canonical model [[constructible universe|$L[\mu]$]] of one measurable cardinal
+
* [[HOD]], generic HOD (gHOD)
+
* [[mantle]] (=generic Mantle)
+
* The [[constructible universe]]
+

Latest revision as of 22:38, 21 August 2021

This page will contain links to summary accounts of supporting foundational or background material used on the rest of the site.

You may like to begin in the playroom for an entertaining introduction to infinity.

Meanwhile, we expect that this page and these resources will be expanded as Cantor's attic develops.

Definition of infinity

Elementary set-theoretic topics

Axiomatic set theories

Forcing