6 citations · 16 across the 19 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014
Quotients of Strongly Proper Forcings and Guessing Models
Sean Cox, John Krueger
We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple univer…
math.LO2014
Prevalence of Generic Laver Diamond
Sean D. Cox
Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at ---which we denote ---asserting the existence of a single function f…
math.LO2014
Indestructibility of generically strong cardinals
Brent Cody, Sean Cox
Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompac…