| Publication | Date of Publication | Type |
|---|
Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$
| 2022-10-18 | Paper |
Abraham–Rubin–Shelah open colorings and a large continuum
Journal of Mathematical Logic | 2022-06-17 | Paper |
THE TREE PROPERTY AT THE TWO IMMEDIATE SUCCESSORS OF A SINGULAR CARDINAL
Journal of Symbolic Logic | 2021-10-27 | Paper |
On the relationship between mutual and tight stationarity
Annals of Pure and Applied Logic | 2021-06-14 | Paper |
Chang's conjecture with \(\square_{\omega_1, 2}\) from an \(\omega_1\)-Erdős cardinal
Archive for Mathematical Logic | 2020-10-15 | Paper |
The ineffable tree property and failure of the singular cardinals hypothesis
Transactions of the American Mathematical Society | 2020-07-17 | Paper |
An inner models proof of the Kechris–Martin theorem
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
On the powersets of singular cardinals in HOD
Proceedings of the American Mathematical Society | 2020-03-02 | Paper |
Monadic theories of wellorders
| 2019-04-23 | Paper |
Abraham-Rubin-Shelah Open Colorings and a Large Continuum
| 2019-04-23 | Paper |
Iteration of strongly $\kappa^+$-cc forcing posets
| 2018-11-13 | Paper |
Happy and mad families in \(L(\mathbb{R})\)
Journal of Symbolic Logic | 2018-08-10 | Paper |
Two applications of finite side conditions at \(\omega _2\)
Archive for Mathematical Logic | 2017-10-09 | Paper |
scientific article; zbMATH DE number 6741915 (Why is no real title available?)
| 2017-07-11 | Paper |
Equiconsistencies at subcompact cardinals
Archive for Mathematical Logic | 2016-03-02 | Paper |
Logic of infons, the propositional case
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Square principles with tail-end agreement
Archive for Mathematical Logic | 2015-04-14 | Paper |
The tree property up to \(\aleph_{\omega+1}\)
The Journal of Symbolic Logic | 2014-09-30 | Paper |
Forcing with sequences of models of two types
Notre Dame Journal of Formal Logic | 2014-06-04 | Paper |
Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
Journal of Symbolic Logic | 2011-06-28 | Paper |
Ultrafilters and large cardinals
| 2011-05-18 | Paper |
Determinacy in L(ℝ)
Handbook of Set Theory | 2010-11-05 | Paper |
Aronszajn trees and failure of the singular cardinal hypothesis
Journal of Mathematical Logic | 2010-08-26 | Paper |
Universally measurable sets in generic extensions
Fundamenta Mathematicae | 2010-05-21 | Paper |
A criterion for coarse iterability
Archive for Mathematical Logic | 2010-05-17 | Paper |
scientific article; zbMATH DE number 5606348 (Why is no real title available?)
| 2009-09-22 | Paper |
THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
Journal of Mathematical Logic | 2009-09-16 | Paper |
Propagation of the scale property using games
| 2009-03-02 | Paper |
scientific article; zbMATH DE number 5354049 (Why is no real title available?)
| 2008-10-20 | Paper |
Hierarchies of forcing axioms II
Journal of Symbolic Logic | 2008-06-09 | Paper |
Finite state automata and monadic definability of singular cardinals
Journal of Symbolic Logic | 2008-06-09 | Paper |
EFFECTIVE CARDINALS OF BOLDFACE POINTCLASSES
Journal of Mathematical Logic | 2008-05-20 | Paper |
GAMES OF LENGTH ω1
Journal of Mathematical Logic | 2008-05-20 | Paper |
Hierarchies of forcing axioms I
Journal of Symbolic Logic | 2008-05-08 | Paper |
Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
Israel Journal of Mathematics | 2007-10-09 | Paper |
Inner Models and Ultrafilters In L(ℝ)
The Bulletin of Symbolic Logic | 2007-08-08 | Paper |
A cardinal preserving extension making the set of points of countable \(V\) cofinality nonstationary
Archive for Mathematical Logic | 2007-06-07 | Paper |
Counterexamples to the unique and cofinal branches hypotheses
Journal of Symbolic Logic | 2006-11-29 | Paper |
Determinacy and large cardinals
| 2006-09-26 | Paper |
Determinacy for games ending at the first admissible relative to the play
Journal of Symbolic Logic | 2006-08-03 | Paper |
scientific article; zbMATH DE number 2222012 (Why is no real title available?)
| 2005-11-02 | Paper |
The Mitchell order below rank-to-rank
Journal of Symbolic Logic | 2005-08-29 | Paper |
The Strength of Blackwell determinacy
Journal of Symbolic Logic | 2005-02-09 | Paper |
The determinacy of long games
De Gruyter Series in Logic and Its Applications | 2004-12-08 | Paper |
OPTIMAL PROOFS OF DETERMINACY II
Journal of Mathematical Logic | 2003-09-05 | Paper |
The domestic levels of \(K^c\) are iterable
Israel Journal of Mathematics | 2003-04-03 | Paper |
Proper forcing and \(L(\mathbb{R})\)
The Journal of Symbolic Logic | 2002-07-14 | Paper |
Inner models in the region of a Woodin limit of Woodin cardinals
Annals of Pure and Applied Logic | 2002-06-24 | Paper |
Unraveling \(\boldsymbol\Pi_1^1\) sets
Annals of Pure and Applied Logic | 2001-05-17 | Paper |
A weak Dodd-Jensen lemma
Journal of Symbolic Logic | 2000-06-22 | Paper |
scientific article; zbMATH DE number 1450237 (Why is no real title available?)
| 2000-05-22 | Paper |
scientific article; zbMATH DE number 1390275 (Why is no real title available?)
| 2000-01-17 | Paper |
Optimal Proofs of Determinacy
The Bulletin of Symbolic Logic | 1995-12-19 | Paper |
