Difference between revisions of "Cellar"

From Cantor's Attic
Jump to: navigation, search
(Axiomatic set theories)
m (Added partition property)
Line 25: Line 25:
 
* [[ultrafilter]], [[measure]]
 
* [[ultrafilter]], [[measure]]
 
* [[ultrapower]]
 
* [[ultrapower]]
 +
* [[Partition property]]
  
 
== Axiomatic set theories ==
 
== Axiomatic set theories ==
Line 42: Line 43:
  
 
* The [[core model]]
 
* The [[core model]]
* The canonical model [[L_mu | $L[\mu]$]] of one measurable cardinal  
+
* The canonical model [[constructible universe | $L[\mu]$]] of one measurable cardinal  
 
* [[HOD]]
 
* [[HOD]]
* The [[L | constructible universe]]
+
* The [[constructible universe]]
 
+
 
+
 
+
{{stub}}
+

Revision as of 08:24, 15 November 2017


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

  • Short informal presentation of the concept of infinity

Elementary set-theoretic topics

Axiomatic set theories

Forcing

Canonical inner models