In a recent work Woodin has defined new axioms stronger than I0 (the existence of an elementary embedding \(j\) from \(L(V_{\lambda!})\) to itself), that involve elementary embeddings between slighter large models. While the correspondence between I0 and Determinacy carries on without further hypotheses, for these new axioms we need the embeddings to be proper. This initially seemed a common property, but during the seminar there will be presented two essentially different cases of non-proper elementary embeddings. These results fill a gap in a Theorem by Woodin and legitimate the definition of properness.
Non-proper Elementary Embeddings Beyond L(V<sub>λ!</sub>)
25.03.2010 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25