Event Detail

Forcing and elementary embeddings are central topics in set theory. Most of what set theorists have focused on are the study of forcing and elementary embeddings over models of ZFC.

In this talk, we focus on forcing and elementary embeddings over models of the Axiom of Determinacy (AD). In particular, we focus on answering the following questions: work in V which models AD. Let P be a forcing poset and g ⊆ P be V-generic.

1. Does V[g] model AD?
2. Is there an elementary embedding from V to V[g]?

Regarding question (1), we want to classify what forcings preserve AD. We show that forcings that add Cohen reals, random reals, and many other well-known forcings do not preserve AD. We, however, give an example of a forcing that preserves AD. Regarding question (2), an analogous statement to the famous Kunen’s theorem for models of ZFC, can be shown: suppose V = L(X) for some set X and V models AD, then there is no (nontrivial) elementary embedding from V to itself that moves some ordinal. We conjecture that there are no (nontrivial) elementary embeddings from V to itself. Woodin has shown that there are (P,g) that gives rise to nontrivial elementary embeddings from V to V[g].

We present some of the results discussed above. There is still much work to do to completely answer these questions. This is an ongoing joint work with D. Ikegami.