| Publication | Date of Publication | Type |
|---|
Which pairs of cardinals can be Hartogs and Lindenbaum numbers of a set?
Fundamenta Mathematicae | 2024-12-20 | Paper |
Geometric condition for dependent choice
Acta Mathematica Hungarica | 2024-04-09 | Paper |
Sequential and distributive forcings without choice
Canadian Mathematical Bulletin | 2023-09-25 | Paper |
| Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set? | 2023-09-20 | Paper |
| Hilbert Spaces Without Countable AC | 2023-04-19 | Paper |
| Small measurable cardinals | 2022-12-15 | Paper |
Choiceless chain conditions
European Journal of Mathematics | 2022-11-11 | Paper |
Kelley–Morse set theory does not prove the class Fodor principle
Fundamenta Mathematicae | 2021-11-03 | Paper |
How to have more things by forgetting how to count them
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
The Review of Symbolic Logic | 2021-07-22 | Paper |
Choiceless Chain Conditions
(available as arXiv preprint) | 2021-06-07 | Paper |
| Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice | 2020-10-29 | Paper |
| Approaching a Bristol model | 2020-06-08 | Paper |
Critical cardinals
Israel Journal of Mathematics | 2020-05-20 | Paper |
Critical cardinals
Israel Journal of Mathematics | 2020-05-20 | Paper |
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
The Bulletin of Symbolic Logic | 2020-02-14 | Paper |
REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
The Bulletin of Symbolic Logic | 2020-02-14 | Paper |
The Morris model
Proceedings of the American Mathematical Society | 2020-01-29 | Paper |
Spectra of uniformity.
Commentationes Mathematicae Universitatis Carolinae | 2019-12-18 | Paper |
Spectra of uniformity.
Commentationes Mathematicae Universitatis Carolinae | 2019-12-18 | Paper |
| Methods in Higher Forcing Axioms (Workshop Notes) | 2019-12-04 | Paper |
| Iterated failures of choice | 2019-11-20 | Paper |
Preserving dependent choice
Bulletin Polish Acad. Sci. Math. | 2019-06-18 | Paper |
Realizing realizability results with classical constructions
(available as arXiv preprint) | 2019-05-20 | Paper |
Kelley-Morse set theory does not prove the class Fodor principle
(available as arXiv preprint) | 2019-04-08 | Paper |
Iterating symmetric extensions
Journal of Symbolic Logic | 2019-03-15 | Paper |
Iterating symmetric extensions
Journal of Symbolic Logic | 2019-03-15 | Paper |
The Bristol model: an abyss called a Cohen real
Journal of Mathematical Logic | 2018-12-20 | Paper |
Dependent Choice, Properness, and Generic Absoluteness
(available as arXiv preprint) | 2018-06-11 | Paper |
Fodor's lemma can fail everywhere
Acta Mathematica Hungarica | 2018-03-14 | Paper |
The Bristol Model: an abyss called a Cohen real
(available as arXiv preprint) | 2017-04-23 | Paper |
Restrictions on forcings that change cofinalities
Archive for Mathematical Logic | 2016-05-13 | Paper |
Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
Fundamenta Mathematicae | 2014-06-12 | Paper |
| Absolutely Choiceless Proofs | 2014-02-13 | Paper |
The $\kappa$-Strongly Proper Forcing Axiom
(available as arXiv preprint) | N/A | Paper |
The first measurable can be the first inaccessible cardinal
(available as arXiv preprint) | N/A | Paper |
Critical embeddings
(available as arXiv preprint) | N/A | Paper |
