Difference between revisions of "Cellar"

From Cantor's Attic
Jump to: navigation, search
m (Suggest adding links to pages of the various canonical models used.)
Line 9: Line 9:
  
  
 +
== Elementary set-theoretic topics ==
  
 
* [[cardinality]]
 
* [[cardinality]]
Line 14: Line 15:
 
* [[ZFC]], [[ZF]]
 
* [[ZFC]], [[ZF]]
 
* [[stationary]], [[club]]
 
* [[stationary]], [[club]]
 +
* [[Hereditary Cardinality]]
 
* [[ultrafilter]], [[measure]]
 
* [[ultrafilter]], [[measure]]
 
* [[ultrapower]]
 
* [[ultrapower]]
 +
 +
 +
== Forcing ==
 +
 
* [[forcing]]
 
* [[forcing]]
* [[L]], [[HOD]], [[Hereditary Cardinality]]
+
* [[Boolean-valued models]]
 +
* [[Boolean ultrapowers]]
 +
 
 +
 
 +
== Canonical inner models ==
 +
 
 +
* The [[core model]]
 +
* The canonical model [[L[mu] | $L[\mu]$]] of one measurable cardinal
 +
* [[HOD]]
 +
* The [[L | constructible universe]]
 +
 
  
  
 
{{stub}}
 
{{stub}}

Revision as of 18:38, 10 January 2012


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.


Elementary set-theoretic topics


Forcing


Canonical inner models



    This article is a stub. Please help us to improve Cantor's Attic by adding information.