| Publication | Date of Publication | Type |
|---|
| Weakly extendible cardinals and compactness of extended logics | 2022-12-29 | Paper |
| Generically supercompact cardinals by forcing with chain conditions | 2022-02-16 | Paper |
| Strong downward L\"owenheim-Skolem theorems for stationary logics, III -- mixed support iteration | 2021-07-06 | Paper |
| The first-order definability of generic large cardinals | 2021-06-26 | Paper |
Strong downward Löwenheim-Skolem theorems for stationary logics. II: Reflection down to the continuum
Archive for Mathematical Logic | 2021-04-16 | Paper |
Strong downward Löwenheim-Skolem theorems for stationary logics. I
Archive for Mathematical Logic | 2021-01-19 | Paper |
On the set-generic multiverse
Sets and Computations | 2020-12-02 | Paper |
Strong downward L\"owenheim-Skolem theorems for stationary logics, II -- reflection down to the continuum
(available as arXiv preprint) | 2020-09-07 | Paper |
On the set-generic multiverse
The Hyperuniverse Project and Maximality | 2020-08-07 | Paper |
A variant of Shelah's characterization of strong Chang's conjecture
Mathematical Logic Quarterly | 2020-05-06 | Paper |
The weakly compact reflection principle need not imply a high order of weak compactness
Archive for Mathematical Logic | 2020-01-17 | Paper |
| Martin's Maximum and the Diagonal Reflection Principle | 2019-03-30 | Paper |
On the existence of skinny stationary subsets
Annals of Pure and Applied Logic | 2019-03-14 | Paper |
On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals
Archive for Mathematical Logic | 2018-04-17 | Paper |
Katětov and Katětov-Blass orders on \(F_\sigma \)-ideals
Archive for Mathematical Logic | 2016-11-01 | Paper |
Reflection and indescribability in the constructible universe
Israel Journal of Mathematics | 2015-11-16 | Paper |
Simple proofs of SCH from reflection principles without using better scales
Archive for Mathematical Logic | 2015-09-01 | Paper |
Stationary reflection principles and two cardinal tree properties
Journal of the Institute of Mathematics of Jussieu | 2015-01-09 | Paper |
Chang's conjecture and weak square
Archive for Mathematical Logic | 2013-02-15 | Paper |
On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
Partial square at \(\omega _1\) is implied by MM but not by PFA
Fundamenta Mathematicae | 2011-11-18 | Paper |
| On preservation and reflection of stationary subsets of \({\mathcal P}_\kappa\lambda\) when \(\mathrm{cf}(\lambda)<\kappa\) | 2010-06-17 | Paper |
Semistationary and stationary reflection
Journal of Symbolic Logic | 2008-05-08 | Paper |
Semistationary and stationary reflection
Journal of Symbolic Logic | 2008-05-08 | Paper |
Semiproper ideals
Fundamenta Mathematicae | 2005-09-29 | Paper |
Generalized Prikry forcing and iteration of generic ultrapowers
Mathematical Logic Quarterly | 2005-09-26 | Paper |
