| Publication | Date of Publication | Type |
|---|
Inner-model reflection principles
Studia Logica | 2020-06-09 | Paper |
Subcomplete forcing principles and definable well-orders
Mathematical Logic Quarterly | 2020-05-11 | Paper |
Incomparable \(\omega_1\)-like models of set theory
Mathematical Logic Quarterly | 2020-04-29 | Paper |
Separating diagonal stationary reflection principles
(available as arXiv preprint) | 2020-02-28 | Paper |
Diagonal reflections on squares
Archive for Mathematical Logic | 2019-01-24 | Paper |
Closure properties of parametric subcompleteness
Archive for Mathematical Logic | 2019-01-14 | Paper |
Subcomplete forcing, trees, and generic absoluteness
Journal of Symbolic Logic | 2018-10-26 | Paper |
The solidity and nonsolidity of initial segments of the core model
Journal of Symbolic Logic | 2018-10-26 | Paper |
Ehrenfeucht's lemma in set theory
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
Ehrenfeucht's lemma in set theory
Notre Dame Journal of Formal Logic | 2018-09-19 | Paper |
Weak square and stationary reflection
Acta Mathematica Hungarica | 2018-09-03 | Paper |
Hierarchies of forcing axioms, the continuum hypothesis and square principles
Journal of Symbolic Logic | 2018-05-02 | Paper |
Hierarchies of (virtual) resurrection axioms
Journal of Symbolic Logic | 2018-05-02 | Paper |
The subcompleteness of Magidor forcing
Archive for Mathematical Logic | 2018-04-17 | Paper |
Subcomplete forcing principles and definable well-orders
(available as arXiv preprint) | 2017-08-27 | Paper |
| Boolean ultrapowers, the Bukovsky-Dehornoy phenomenon, and iterated ultrapowers | 2017-07-20 | Paper |
Inner model theoretic geology
Journal of Symbolic Logic | 2017-04-28 | Paper |
| Split Principles, large cardinals, splitting families and split ideals | 2017-02-22 | Paper |
The stationarity of the collection of the locally regulars
Archive for Mathematical Logic | 2015-09-01 | Paper |
ON SEQUENCES GENERIC IN THE SENSE OF MAGIDOR
Journal of Symbolic Logic | 2015-03-06 | Paper |
Set-theoretic geology
Annals of Pure and Applied Logic | 2015-02-04 | Paper |
Club degrees of rigidity and almost Kurepa trees
Archive for Mathematical Logic | 2013-02-15 | Paper |
Iteratively changing the heights of automorphism towers
Notre Dame Journal of Formal Logic | 2012-07-11 | Paper |
\(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
\(\lambda\)-structures and \(s\)-structures: translating the models
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
Generic embeddings associated to an indestructibly weakly compact cardinal
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
A criterion for coarse iterability
Archive for Mathematical Logic | 2010-05-17 | Paper |
Combined Maximality Principles up to large cardinals
Journal of Symbolic Logic | 2009-09-29 | Paper |
Degrees of rigidity for Souslin trees
Journal of Symbolic Logic | 2009-06-04 | Paper |
Degrees of rigidity for Souslin trees
Journal of Symbolic Logic | 2009-06-04 | Paper |
Successor levels of the Jensen hierarchy
Mathematical Logic Quarterly | 2009-01-23 | Paper |
Changing the heights of automorphism towers by forcing with Souslin trees over L
Journal of Symbolic Logic | 2008-06-09 | Paper |
Closed maximality principles: implications, separations and combinations
Journal of Symbolic Logic | 2008-05-08 | Paper |
Closed maximality principles: implications, separations and combinations
Journal of Symbolic Logic | 2008-05-08 | Paper |
A characterization of generalized Příkrý sequences
Archive for Mathematical Logic | 2005-12-14 | Paper |
| scientific article; zbMATH DE number 2186833 (Why is no real title available?) | 2005-07-07 | Paper |
