Research
My research interests are in mathematical logic, specializing in set theory. Much of my set theoretic work is motivated by the multiversist view of Hamkins and others. There are many different universes of set theory. What are the possibilities? What is the structure of the set theoretic multiverse? For instance, I have work in set theoretic geology, in models of set theory, including nonstandard models, and in the foundations of forcing.
Outside of pure set theory, I am interested in set theory’s connections to other areas of logic and to philosophy of mathematics. My work has touched upon model theory, computability theory, the study of modal logics, and the philosophy of set theory.
My Publications

Kameryn J. Williams, Minimum models of secondorder set theories, Journal of Symbolic Logic (2019).

Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner, and Kameryn J. Williams, Settheoretic blockchains, Archive for Mathematical Logic (2019).

Jonas Reitz and Kameryn J. Williams, Inner mantles and iterated HOD, to appear in: Mathematical Logic Quarterly.

Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, and Kameryn Williams, The exact strength of the class forcing theorem, to appear in: The Journal of Symbolic Logic.

Joel David Hamkins and Kameryn J. Williams, The Sigma_1definable universal finite sequence, to appear in: The Journal of Symbolic Logic.

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

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

Kameryn J. Williams, The omegath inner mantle, in preparation.
Selected Talks
(See here for a list of all talks.)

Incompleteness and the universal algorithm, Hofstra Mathematics Seminar (Apr 2021).

The geology of inner mantles, Oxford Set Theory Seminar (Dec 2020).

The universal algorithm and arithmetic potentialism, Analysis, Logic, and Physics Seminar, VCU (Oct 2020).

On axioms for multiverses of set theory, contributed talk, RIMS Set Theory Workshop 2019 (Nov 2019).

The Sigma_1 universal finite sequence, contributed talk, 7th biannual European Set Theory Conference (July 2019).

Inner mantles and iterated HOD, contributed talk, 2019 ASL North American Annual Meeting (May 2019).

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