Franklin's Notes
List of set-theory notes:
Cantor-Bernstein Theorem
Infinite and Dedekind-infinite sets
IDF and amorphous sets
Cardinality
Trichotomy
Axiom of Choice
Well-ordering
Szpilrajn Extension Theorem
Cantor's Theorem
Zorn's Lemma
Well-Ordering Principle
Cardinal numbers
Zermelo-Frankel Axioms
Boolean algebra
Filters and ultrafilters
Dependent choice
P-name hierarchy
Transitive model
Countable chain condition
Generic extension model of ZFC
Fundamental Theorem of Forcing
Forcing not-CH
Forcing notion
Ordinal number
Chajoth's Theorem
Continuum Hypothesis
Operations on ordinals
Limits of ordinals
Prime components of ordinals
Divisors of ordinals
Omniscience principles
Condensation
Linear order with successor
Hartogs Number
Interval of an ordering
Order type
Finite intersection property
Lindenbaum Order-Embedding Theorem
Finite lattice
Product of lattices
Distributive lattice
Lattice
Order type of the irrationals
Kripke semantics
back to home page