In here you can find the things that I have written.

Publications:

(The papers are listed in reversed ordered of writing, the year reflects the completion date and not final publication date.)

1. (2026) Short proof that Vopěnka's Principle is symmetrically stable
   Preprint. MathSciNetarXivJournal
2. (2026) Comments on Choiceless Chain Conditions
   w/ C. Bromham. Submitted. MathSciNetarXivJournal
3. (2026) Towards a theory of symmetric extensions
   w/ J. Schilhan. Submitted. MathSciNetarXivJournal
4. (2024) Intermediate models and Kinna–Wagner Principles
   w/ J. Schilhan. Proc. Amer. Math. Soc. 154 (2026), no. 1, 393–403. MathSciNetarXivJournal
5. (2024) Critical embeddings
   w/ J. Yuan. Montash. Math. (Online ready)MathSciNetarXivJournal
6. (2024) The first measurable can be the first inaccessible cardinal
   w/ Y. Hayut and M. Gitik. To appear in Israel J. Math. MathSciNetarXivJournal
7. (2023) Which Pairs of Cardinals Can Be Hartogs and Lindenbaum Numbers of a Set?
   w/ C. Ryan-Smith. Fund. Math. 267 (2024), no. 3, 231–241. MathSciNetarXivJournal
8. (2023) Hilbert Spaces Without Countable AC
   w/ B. Blackadar and I. Farah. To appear in Münster J. Math. MathSciNetarXivJournal
9. (2022) Geometric condition for Dependent Choice
   w/ J. Schilhan. Acta Math. Hungar. 172 (2024), no. 1, 34–41. MathSciNetarXivJournal
10. (2022) Small measurable cardinals
    w/ Y. Hayut. Arch. Math. Logic. 65 (2026), 465–475. MathSciNetarXivJournal
11. (2021) Sequential and distributive forcings without choice
    w/ J. Schilhan. Canad. Math. Bull. 66 (2023) no. 3, pp, 868–880. MathSciNetarXivJournal
12. (2021) Choiceless Chain Conditions
    w/ N. Schweber. Eur. J. Math. 8, 393–410 (2022). MathSciNetarXivJournal
13. (2020) Approaching a Bristol model
    Bull. Symb. Log. 32 (2026), no. 1, 1–46. MathSciNetarXivJournal
14. (2019) The \(\kappa\)-Strongly Proper Forcing Axiom.
    w/ D. Asperó, S. Cox, and C. Weiss. Submitted. MathSciNetarXivJournal
15. (2019) Iterated failures of choice.
    Submitted. MathSciNetarXivJournal
16. (2019) How to have more things by forgetting how to count them.
    w/ P. Schlicht. Proc. A. 476 (2020), no. 2239, 782–793. MathSciNetarXivJournal
17. (2019) Realizing realizability results with classical constructions.
    Bull. Symb. Log. 25 (2019) no. 4, 429–445. MathSciNetarXivJournal
18. (2019) Kelley-Morse set theory does not prove the class Fodor principle.
    w/ V. Gitman and J.D. Hamkins. Fund. Math. 254 (2021), 133-154. MathSciNetarXivJournal
19. (2018) The Morris model.
    Proc. Amer. Math. Soc. 148 (2020) 1311–1323. MathSciNetarXivJournal
20. (2018) Preserving Dependent Choice.
    Bulletin Polish Acad. Sci. Math. 67 (2019), 19-29. MathSciNetarXivJournal
21. (2018) Dependent Choice, Properness, and Generic Absoluteness.
    w/ D. Asperó. Rev. Symb. Log. 14 (2021) no. 1, 225–249. MathSciNetarXivJournal
22. (2018) Critical Cardinals.
    w/ Y. Hayut. Israel J. Math. 236 (2020) no. 1, 449–472. MathSciNetarXivJournal
23. (2017) Spectra of uniformity.
    w/ Y. Hayut. Comment. Math. Univ. Carolin. 60,2 (2019) 287–300. MathSciNetarXivJournal
24. (2017) The Bristol model: an abyss called a Cohen real.
    J. Math. Log. 18 (2018) no. 2, 1850008, 37 pp. MathSciNetarXivJournal
25. (2016) Fodor's lemma can fail everywhere.
    Acta Math. Hungar. (2018) 154:231. MathSciNetarXivJournal
26. (2016) Iterating Symmetric Extensions.
    J. Symb. Log. 84 (2019) no. 1, pp. 123–159. MathSciNetarXivJournal
27. (2015) Restrictions on Forcings That Change Cofinalities.
    w/ Y. Hayut. Arch. Math. Logic 55 (2016), 373–384. MathSciNetarXivJournal
28. (2012) Embedding Orders Into The Cardinals With \(\DC_\kappa\).
    Fund. Math. 226 (2014), 143–156. MathSciNetarXivJournal

Notes:

Lecture notes:

• (2025) (Advanced) Models and Sets,
  Undergraduate level introduction to set theroy and model theory I taught at Leeds three times in 2022–2025.
• (2025) Large Cardinals,
  Course I taught at Leeds during the spring of 2025.
• (2023) Forcing & Symmetric Extensions,
  Course I taught at Leeds during the entire year of 2022–2023.
• (2017) Axiomatic Set Theory,
  Course I taught at HUJI during the autumn of 2016–2017.
• (2016) Functional Analysis,
  Course taught by Prof. Matania Ben-Artzi at HUJI during the autumn of 2015–2016.

Other notes:

• (2020) Guide to the Bristol model: Gazing into the Abyss, to appear in RIMS Kokyuroku. (This is a previous version of Approaching a Bristol model.) arXiv link.
• (2019) Notes from MEHIFOX 2019. arXiv link. (See also this and this.)
• (2016) Zornian Functional Analysis or: How I Learned to Stop Worrying and Love the Axiom of Choice. arXiv link.
• (2016) The Five WH's of Set Theory.
• (2014) Downward Löwenheim-Skolem Theorems and Choice Principles.
• (2014) Absolutely Choiceless Proofs. arXiv link.
• (2012) The Axiom of Choice and Self-Duality of Vector Spaces.

Theses:

• (2017) Ph.D. Thesis: Iterations of Symmetric Extensions. Written under the supervision of Prof. Menachem Magidor at the Hebrew University of Jersualem. (The dissertation is "Iterating Symmetric Extensions", "Fodor's lemma can fail everywhere", and "The Bristol model" papers, in preprint versions, with a short introduction that sums up all of them.)
• (2012) M.Sc. Thesis: Vector Spaces and Antichains of Cardinals in Models of Set Theory. Written under the supervision of Prof. Uri Abraham at Ben-Gurion University of the Negev. (Last updated: February 11th, 2013).