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, Archive for Mathematical Logic (2019).

Kameryn J. Williams, Minimum models of secondorder set theories, to appear in Journal of Symbolic Logic.

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

Jonas Reitz and Kameryn J. Williams, Inner mantles and iterated HOD, 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.

Joel David Hamkins, Russell Miller, and Kameryn J. Williams, Forcing as a computational process, in preparation.
Selected Talks
(See here for a list of all talks.)

Amalgamating generic reals, a surgical approach, Logic Seminar, UH Mānoa (Jan 2019).

The universal Sigma_1 finite sequence, contributed talk, Cantor Meets Robinson conference (Dec 2018).

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).