Date: 2003-04-29 07:49:46

Ordinal numbers

Set theory

Cardinal number

Constructible universe

Ordinal arithmetic

Transfinite induction

Mahlo cardinal

Woodin cardinal

Mathematical logic

Large cardinals

Mathematics

Gra¸bczewski & Paulson Mechanizing Set Theory Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 25,77 KB