Research
My main research interests are in set theory. More specifically, I have worked on the model theory of secondorder set theory (set theory with both sets and classes as objects) and on the foundations of and applications of class forcing. More broadly, I am interested in set theory’s connections to other areas of logic and to philosophy of mathematics.
My Publications

Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, and Kameryn J. Williams, Settheoretic blockchains, under review.

Kameryn J. Williams, The Structure of Models of Secondorder Set Theories, PhD Dissertation, The Graduate Center, CUNY (2018).

Kameryn J. Williams, Least models of secondorder set theories, under review.

Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, and Kameryn Williams, The exact strength of the class forcing theorem, under review.

Joel David Hamkins, Philip Welch, and Kameryn J. Williams, The universal finite sequence for end extensions, in preparation.

Jonas Reitz and Kameryn J. Williams, Iterating the mantle, in preparation.

Joel David Hamkins, Russell Miller, and Kameryn J. Williams, Forcing as a computational process, in preparation.

Kameryn J. Williams, Biinterpretability of secondorder set theories, in preparation.
Selected Talks
(See here for a list of all talks.)

Minimal models for secondorder set theories, contributed talk, 2018 ASL North American Annual Meeting (May 2018).

On the length of iterated full satisfaction classes, Warsaw Workshop on Formal Truth Theories (Sept 2017).

The exact strength of the class forcing theorem, Research Seminar, Kurt Gödel Research Center (Sept 2017).

Admissible covers and compactness arguments for illfounded models of set theory, Set Theory Seminar, CUNY (Sept 2015).

A perfectly generic talk, MoPA Seminar, CUNY (Apr 2015).

Scott’s problem for models of set theory, oral exam, in Set Theory Seminar, CUNY (Oct 2014).