Difference between revisions of "Cellar"

From Cantor's Attic
Jump to: navigation, search
m (Definition of infinity: added first steps)
(Canonical inner models: to Model)
 
(2 intermediate revisions by the same user not shown)
Line 27: Line 27:
 
* [[ultrapower]]
 
* [[ultrapower]]
 
* [[Partition property]]
 
* [[Partition property]]
 +
* [[model]]
  
 
== Axiomatic set theories ==
 
== Axiomatic set theories ==
Line 40: Line 41:
 
* [[Boolean-valued models]]
 
* [[Boolean-valued models]]
 
* [[Boolean ultrapowers]]
 
* [[Boolean ultrapowers]]
 
== Canonical inner models ==
 
 
* The [[core model]]
 
* The canonical model [[constructible universe | $L[\mu]$]] of one measurable cardinal
 
* [[HOD]]
 
* The [[constructible universe]]
 

Latest revision as of 06:01, 25 April 2019


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