8 papers
The Diagonal Strong Reflection Principle and its fragments
Sean Cox, Gunter Fuchs
A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated to arbitrary forcing classes. The relationships between the r…
Maximum deconstructibility in module categories
Sean Cox
We prove that Vopěnka's Principle implies that for every class of modules over any ring, the class of \textbf{-Gorenstein Projective modul…
Compactness versus hugeness at successor cardinals
Sean Cox, Monroe Eskew
If is regular and , then the existence of a weakly presaturated ideal on implies . This partially answers a question of Foreman and Magidor ab…
The Löwenheim-Skolem-Tarski property of Stationary Logic
Sean Cox
Fuchino-Maschio-Sakai~\cite{FuchinoEtAl_DRP_LST} proved that the Löwenheim-Skolem-Tarski (LST) property of Stationary Logic is equivalent to the Diagonal Reflection Principle on in…
Adjoining only the things you want: a survey of Strong Chang's Conjecture and related topics
Sean Cox
We survey some old and new results on strong variants of Chang's Conjecture and related topics.
Martin's Maximum and the Diagonal Reflection Principle
Sean Cox, Hiroshi Sakai
We prove that Martin's Maximum does not imply the Diagonal Reflection Principle for stationary subsets of .