Summary: Tutorial: Generic Elementary Embeddings
Lecture 3: Towers
Matt Foreman
University of California, Irvine
1
Corrections
2
Additions
A partial ordering P is weakly (, )-saturated iff
given any collection of antichains A : <
where < , there is a dense collection of p P
such that for all <
|{q A : p q = 0}| < .
A forcing exercise: Let < be regular cardi-
nals and |P| . Then
· P is weakly (+, )-saturated iff
· after forcing with P, cf() > .
3
Generic Elementary embeddings
Suppose that Q is a partial ordering such that

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics