Difference between revisions of "Cellar"
From Cantor's Attic
m (→Elementary set-theoretic topics) |
m (new item added (definition of infinity)) |
||
Line 8: | Line 8: | ||
Meanwhile, we expect that this page and these resources will be expanded as Cantor's attic develops. | Meanwhile, we expect that this page and these resources will be expanded as Cantor's attic develops. | ||
+ | == Definition of [[infinity]] == | ||
== Elementary set-theoretic topics == | == Elementary set-theoretic topics == |
Revision as of 10:22, 20 February 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.
Contents
Definition of infinity
Elementary set-theoretic topics
- transitive
- Basic Order Theory
- ordinal
- successor ordinal
- limit ordinal
- cardinality
- axiom of choice
- ZFC, ZF
- stationary, club
- Hereditary Cardinality
- ultrafilter, measure
- ultrapower
Forcing
Canonical inner models
- The core model
- The canonical model $L[\mu]$ of one measurable cardinal
- HOD
- The constructible universe
This article is a stub. Please help us to improve Cantor's Attic by adding information.