Difference between revisions of "Cellar"

From Cantor's Attic
Jump to: navigation, search
m
(Axiomatic set theories)
(One intermediate revision by the same user not shown)
Line 21: Line 21:
 
* [[cardinality]]
 
* [[cardinality]]
 
* [[axiom of choice]]
 
* [[axiom of choice]]
* [[ZFC]], [[ZF]]
 
 
* [[stationary]], [[club]]
 
* [[stationary]], [[club]]
* [[Hereditary Cardinality]]
+
* [[Hereditary cardinality]]
 
* [[ultrafilter]], [[measure]]
 
* [[ultrafilter]], [[measure]]
 
* [[ultrapower]]
 
* [[ultrapower]]
 +
 +
== Axiomatic set theories ==
 +
 +
* [[Morse-Kelley set theory]]
 +
* [[ZFC|Zermelo-Fraenkel set theory]]
 +
* [[Positive set theory]]
 +
* [[Kripke-Platek|Kripke-Platek set theory]]
  
 
== Forcing ==  
 
== Forcing ==  
Line 33: Line 39:
 
* [[Boolean ultrapowers]]
 
* [[Boolean ultrapowers]]
  
 
+
== Canonical inner models ==
== Canonical inner models ==  
+
  
 
* The [[core model]]
 
* The [[core model]]

Revision as of 13:57, 14 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



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