Spencer Unger

I am an assistant professor in the Department of Mathematics at University of Toronto. I can be reached at spencer.unger@utoronto.ca.


Research interests

My research is in set theory and mathematical logic. I am interested in questions in combinatorial set theory and measurable combinatorics.


Teaching

All graduate and undergraduate course information is available on Quercus


Grants

From April 1, 2021 until March 31, 2027, I am supported by an NSERC Discovery Grant.

From July 1, 2017 until June 30, 2021, I was partially supported by NSF DMS-1700425.


Papers

Papers are listed in roughly chronological order

Fragility and indestructibility of the tree property, Archive for Mathematical Logic 51 (2012) 635-645.

Aronszajn Trees and the successors of a singular cardinal, Archive for Mathematical Logic 52 (2013) 483-496.

(Joint with Dima Sinapova) Combinatorics at aleph_omega, Annals of Pure and Applied Logic 165 (2014) 996-1007.

A model of Cummings and Foreman revisited, Annals of Pure and Applied Logic 165 (2014) 1813-1831.

Fragility and indestructibility II, Annals of Pure and Applied Logic 166 (2015) 1110-1122.

(Joint with Dima Sinapova) Scales at aleph_omega, Israel Journal of Math, 209 (2015) 463-486.

The tree property below aleph_{omega times 2}, Annals of Pure and Applied Logic, 167 (2016) 247-261.

Iterating along a Prikry sequence, Fundamenta Mathematicae, 232 (2016).

(Joint with Andrew Marks) Borel measurable paradoxical decompositions via matchings, Advances in Mathematics, 289 (2016) 397-410.

(Joint with Dima Sinapova) Modified extender based forcing, Journal of Symbolic Logic, 81 (2016) 1432-1443.

(Joint with Will Boney) Large cardinal axioms from tameness in AECs,Proceedings of the American Mathematical Society, 145 (2017) 4517-4532.

(Joint with Dima Sinapova) The tree property at aleph_{omega^2+1} and aleph_{omega^2+2}, Journal of Symbolic Logic, 82 (2018) 669-682. The published version contains a false proof of Lemma 4.1. Here is a correct proof.

(Joint with Yair Hayut) The strong tree property and weak square, Mathematical Logic Quarterly, 63 (2016) 150-154.

(Joint with Omer Ben-Neria and Chris Lambie-Hanson) Diagonal supercompact Radin forcing, Annals of Pure and Applied Logic 171 (2020).

(Joint with Omer Ben-Neria) Homogeneous changes in cofinalities with applications to HOD, Journal of Mathematical Logic, 17 (2017).

(Joint with Andrew Marks) Borel circle squaring, Annals of Mathematics, 168 (2017) 581-605.

Successive failures of approachability, The Israel Journal of Mathematics, 242 (2021) 663–695.

(Joint with Yair Hayut) Stationary reflection, Journal of Symbolic Logic, 85 (2020) 937-959.

(Joint with Omer Ben-Neria, Moti Gitik and Itay Neeman) On the powersets of singular cardinals in HOD, Proceedings of the American Mathematical Society 148 (2020), 1777-1789.

(Joint with Clinton Conley and Andrew Marks) Measurable realizations of abstract systems of congruences, Forum of Math, Sigma 8 (2020) e10.

(Joint with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman and Dima Sinapova) The ineffable tree property and the failure of the singular cardinals hypothesis, Transactions of the American Mathematical Society, 373 (2020).

(Joint with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman and Dima Sinapova) The tree property at the two immediate successors of a singular cardinal, Journal of Symbolic Logic, 86(2) (2021) 600-608.

(Joint with Omer Ben-Neria and Yair Hayut) Reflection and the failure of SCH, Journal of Symbolic Logic. 89(1) (2024) 1-26

(Joint with Nishant Chandgotia) Borel factors and embeddings of systems in sub-shifts. (2025), The Israel Journal of Mathematics. Volume TBD. arxiv

(Joint with James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman and Dima Sinapova) The tree property on long intervals of regular cardinals. (2025), submitted. arxiv

(Joint with Dana Bartošová, David Chodounský, Barbara Csima, Jan Hubička, Matěj Konečný, Joey Lakerdas-Gayle, and Andy Zucker) Oscillating subalgebras of the atomless countable Boolean algebra. (2025), submitted. arxiv

(Joint with Andrew Marks) A new proof of Laczkovich’s circle squaring theorem I. (2025), preprint

(Joint with Andrew Marks) A new proof of Laczkovich’s circle squaring theorem II: squaring the circle with algebraic irrational translations and few pieces. (2025), in preparation.

(Joint with Stevo Todorčević) Ramsey theory for trees without amalgamation (2025), in preparation.

(Joint with Anton Bernshteyn and Anush Tserunyan) Borel flows on a torus: a cohomological approach. (2025), in preparation.

Spencer Unger, Narmada Varadarajan and Felix Weilacher, Circle squaring with Baire class 1 pieces. (2025), in preparation.


Research notes

A note on the combinatorial and topological idea of forcing and its relation to metamathematics, in preparation.

(Joint with Jerry Wei) A note giving a short proof that Condensed Whitehead's problem has a positive answer, in preparation.

A short proof of the Halpern-Lauchli theorem

Gitik's Gap 2 short extender forcing

Gitik's Gap 2 short forcing with collapses

Solovay's model

Compactness for the chromatic number at aleph_{omega_1 +1}


Appalchian set theory

I took notes for two Appalachian set theory workshops as a graduate student, one given by Itay Neeman and the other by Moti Gitik. The webpage for those workshops is here and the notes can be found by scrolling down the page. The notes were published in a nice volume by Cambridge University Press.


Old pages from CMU and UCLA

For information about my time a UCLA including the graduate student seminar that I organized, some logic courses that I taught and the forcing class in the 2013 Logic Summer School that I taught, click here.

For some very old seminar notes and information about summer calculus classes that I taught at CMU, click here.