Difference between revisions of "Cellar"
From Cantor's Attic
Zetapology (Talk | contribs) m (→Definition of infinity: added first steps) |
BartekChom (Talk | contribs) (→Elementary set-theoretic topics: link) |
||
| Line 27: | Line 27: | ||
* [[ultrapower]] | * [[ultrapower]] | ||
* [[Partition property]] | * [[Partition property]] | ||
| + | * [[model]] | ||
== Axiomatic set theories == | == Axiomatic set theories == | ||
Revision as of 04:59, 22 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.
Contents
Definition of infinity
- Short informal presentation of the concept of infinity.
- The first steps towards infinity.
Elementary set-theoretic topics
- transitive
- Basic Order Theory
- ordinal
- successor ordinal
- limit ordinal
- cardinality
- axiom of choice
- stationary, club
- Hereditary cardinality
- ultrafilter, measure
- ultrapower
- Partition property
- model
Axiomatic set theories
Forcing
Canonical inner models
- The core model
- The canonical model $L[\mu]$ of one measurable cardinal
- HOD
- The constructible universe
