<--- Back to Details
First PageDocument Content
Mathematics / Woodin cardinal / Measurable cardinal / Critical point / Inaccessible cardinal / Axiom of projective determinacy / Strong cardinal / Determinacy / Cardinal number / Large cardinals / Mathematical logic / Set theory
Date: 2008-01-24 13:13:56
Mathematics
Woodin cardinal
Measurable cardinal
Critical point
Inaccessible cardinal
Axiom of projective determinacy
Strong cardinal
Determinacy
Cardinal number
Large cardinals
Mathematical logic
Set theory

? W H A T

Add to Reading List

Source URL: www.ams.org

Download Document from Source Website

File Size: 59,31 KB

Share Document on Facebook

Similar Documents

POWER SET AT ℵω : ON A THEOREM OF WOODIN MOHAMMAD GOLSHANI Abstract. We give Woodin’s original proof that if there exists a (κ+2)−strong cardinal κ, then there is a generic extension of the universe in which κ

DocID: 1msfw - View Document

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

DocID: 6Ahz - View Document

Determinacy / Core model / Inner model theory / Woodin cardinal / AD+ / Mathematical logic / Set theory / Large cardinals

Derived models associated to mice J.R. Steel June 10, 2005

DocID: 5x3H - View Document

Determinacy / Woodin cardinal / Core model / AD+ / Forcing / Suslin representation / Mathematical logic / Set theory / Large cardinals

Derived models associated to mice J.R. Steel June 26, 2005

DocID: 5x2V - View Document

Determinacy / Woodin cardinal / Zermelo–Fraenkel set theory / Constructible universe / Axiom of projective determinacy / Core model / Critical point / Von Neumann universe / S / Mathematical logic / Set theory / Large cardinals

Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010

DocID: 4y3W - View Document