Louise Hay Logic Seminar
Noah Schoem
Precipitous Ideals, Generic Ultrapowers, and Removing Saturation
Abstract: Solovay's original proof of the Stationary Splitting Theorem
used high-powered tools combining techniques from forcing and the study of elementary embeddings.
Though more elementary proofs are now known, the original techniques gave rise
to the study of certain nice ideals and the generic elementary embeddings they induce.
We will discuss these niceness conditions and recent work extending an old result
of Baumgartner and Taylor separating two of these niceness conditions, saturation and presaturation.
Thursday March 14, 2019 at 4:00 PM in 427 SEO