Recent writing
Recent writing
- Being unhappy with accessible SVGs: text elementsPeter Krautzberger
- I asked ChatGPT to look at a proof, here's what happened...Asaf Karagila
- RIMS workshop on Set Theory 2025Assaf Rinot
- The 18th International Workshop on Set Theory in Luminy, November 2015Assaf Rinot
- A story of my friend Don MillerNick Gill
- Class choice and the surprising weakness of Kelley-Morse set theoryVictoria Gitman
- Probably don't put equation layout in linksPeter Krautzberger
- The power of treesAssaf Rinot
- Parameter-free schemes in second-order arithmeticVictoria Gitman
- How to give a talkAsaf Karagila
- Reflection principles in set theory without powersetsVictoria Gitman
- On texml and texml-to-htmlPeter Krautzberger
- Conference in honor of Saharon Shelah’s 80th birthdayAssaf Rinot
- 2025 Annual conference of the IMUAssaf Rinot
- MATH0010, Term 1 2025Samuel Coskey
- MATH0037, Term 1 2025Samuel Coskey
- Filter extension games with mini supercompactness measuresVictoria Gitman
- Stop the genocide in GazaNick Gill
- I trained neural nets on large cardinal axiomsAsaf Karagila
- Categoricty theorems for second-order set theory without powersetsVictoria Gitman
- Reflection principles in set theory without powersetsVictoria Gitman
- Filter extension games and generic large cardinalsVictoria Gitman
- Filter extension games on mini supercompactness filtersVictoria Gitman
- Cardinals of the $P_\kappa(\lambda)$-filter gamesVictoria Gitman
- Was Ulam right? III: Indecomposable idealsAssaf Rinot