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

Joel David Hamkins and Kameryn J. Williams, The Sigma_1definable universal finite sequence, The Journal of Symbolic Logic (2020).

Victoria Gitman, Joel David Hamkins, Peter Holy, Philipp Schlicht, and Kameryn Williams, The exact strength of the class forcing theorem, The Journal of Symbolic Logic (2020).

Jonas Reitz and Kameryn J. Williams, Inner mantles and iterated HOD, Mathematical Logic Quarterly (2019).

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

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

Neil Barton and Kameryn J. Williams, Varieties of classtheoretic potentialism, preprint available.

Kameryn J. Williams, The omegath inner mantle, preprint available.

Kameryn J. Williams, The Structure of Models of Secondorder Set Theories, PhD Dissertation, The Graduate Center, CUNY (2018).
Selected Talks
(See here for a list of all talks.)

Tightness in secondorder arithmetic, CUNY MOPA Seminar (Oct 2022).

The potentialist multiverse of classes, Leeds Models and Sets Seminar (Mar 2022).

Potentialism about sets, potentialism about classes, invited talk, Early Career Researcher Workshop 2021 (Oct 2021).

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