Blog Archives

Topic Archive: AD-conjecture

CUNY Logic WorkshopFriday, April 1, 20162:00 pmGC 6417

Scott Cramer

Woodin’s AD-conjecture and local Reinhardt cardinals

Rutgers University

We will discuss Woodin’s AD-conjecture, which gives a deep relationship between very large cardinals and determined sets of reals. In particular we will show that the AD-conjecture holds for the axiom I0 and that there are many interesting consequences of this fact. We will also discuss the notion of a local Reinhardt cardinal and how variations of the AD-conjecture might show that such cardinals do not exist.