Covering theorems for the core model, and an application to stationary set reflection S Cox
Annals of Pure and Applied Logic 161 (1), 66-93, 2009
20 2009 Quotients of strongly proper forcings and guessing models S Cox, J Krueger
The Journal of Symbolic Logic 81 (1), 264-283, 2016
17 2016 Indestructible guessing models and the continuum S Cox, J Krueger
arXiv preprint arXiv:1510.05297, 2015
16 2015 Characterizing large cardinals in terms of layered posets S Cox, P Lücke
Annals of Pure and Applied Logic 168 (5), 1112-1131, 2017
14 2017 The diagonal reflection principle S Cox
Proceedings of the American Mathematical Society 140 (8), 2893-2902, 2012
14 2012 Layered posets and Kunen’s universal collapse S Cox
11 2019 Ideal projections and forcing projections S Cox, M Zeman
The Journal of Symbolic Logic 79 (4), 1247-1285, 2014
11 2014 Forcing axioms, approachability, and stationary set reflection SD Cox
The Journal of Symbolic Logic 86 (2), 499-530, 2021
8 2021 Salce's problem on cotorsion pairs is undecidable S Cox
Bulletin of the London Mathematical Society 54 (4), 1363-1374, 2022
6 2022 Chang’s conjecture and semiproperness of nonreasonable posets SD Cox
Monatshefte für Mathematik 187 (4), 617-633, 2018
5 2018 PFA and Ideals on Whose Associated Forcings Are Proper S Cox
5 2012 Maximum deconstructibility in module categories S Cox
Journal of Pure and Applied Algebra 226 (5), 106934, 2022
4 2022 Martin’s Maximum and tower forcing S Cox, M Viale
Israel Journal of Mathematics 197 (1), 347-376, 2013
4 2013 Consistency strength of higher chang's conjecture, without CH. S Cox
Archive for Mathematical Logic 50, 2011
4 2011 Strongly proper forcing and some problems of Foreman S Cox, M Eskew
Transactions of the American Mathematical Society 371 (7), 5039-5068, 2019
3 2019 Namba forcing, weak approximation, and guessing S Cox, J Krueger
The Journal of Symbolic Logic 83 (4), 1539-1565, 2018
3 2018 Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities D Adolf, S Cox, P Welch
Israel Journal of Mathematics 228 (1), 1-19, 2018
3 2018 How robustly can you predict the future? S Cox, M Elpers
Canadian Journal of Mathematics 75 (5), 1493-1515, 2023
2 2023 The diagonal strong reflection principle and its fragments SD COX, G Fuchs
The Journal of Symbolic Logic 88 (3), 1281-1309, 2023
2 2023 Compactness versus hugeness at successor cardinals S Cox, M Eskew
Journal of Mathematical Logic 23 (01), 2250016, 2023
2 2023