Brief CV
Academic History
University of Hawaiʻi at Mānoa
Temporary Assistant Professor
Fall 2018 to present
Education
Ph.D. in Mathematics May 2018
The Graduate Center, The City University of New York
Dissertation Advisor: Joel David Hamkins
Dissertation: The Structure of Models of Secondorder Set Theories
B.S. in Mathematics, Dec 2012
Boise State University (High Honors)
Minor in Computer Science
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
Teaching and Educational Experience

(2017–2018) Bronx Community College, CUNY. Quantitative reasoning fellow. In this interdisciplinary program I partnered with nonmathematics faculty to promote the teaching of quantitative reasoning and the use of mathematics across the curriculum.

(2013–2017) Brooklyn College, CUNY. Graduate teaching fellow and lecturer. I was instructor of record for my classes, mainly calculus and precalculus. My final year at Brooklyn College I taught classes in their Brooklyn College Academy program, an early college program where high school juniors and seniors take college classes for credit.
Conference Talks

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

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

Minimal models of Kelley–Morse set theory, Boise Extravaganza in Set Theory, AAAS Pacific Division 97th annual meeting (June 2016).

Minimal models of secondorder set theories, New York Graduate Student Logic Conference (May 2016).

Minimal models of secondorder set theories, Set Theory Day, The Graduate Center, CUNY (March 2016).
Seminar Talks

The computable structure theory of forcing, Seminari de lògica de Barcelona, Universitat de Barcelona (May 2019).

Transfinite Recursion from Gödel–Bernays to Kelley–Morse, Set Theory Seminar, CUNY (May 2019).

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

The Universal Algorithm, the Universal Sigma_1 Finite Sequence, and Settheoretic Potentialism, Department Colloquium, UH Mānoa (Nov 2018).

Forcing as a computational process, Logic Seminar, UH Mānoa (Sept 2018).

A conceptual overview of forcing, Logic Seminar, UH Mānoa (Sept 2018).

Universes of sets, Logic Seminar, UH Mānoa (Aug 2018).

The structure of models of secondorder set theories, dissertation defense, in Set Theory Seminar, CUNY (Apr 2018).

Forcing over arithmetic: a secondorder approach, MoPA Seminar, CUNY (Feb 2018).

Beta models of ATR_0, MoPA Seminar, CUNY (Nov 2018).

Strong secondorder set theories do not have least transitive models, Logic and Computation Seminar, University of Pennsylvania (Nov 2017).

The exact strength of the class forcing theorem, Set Theory Seminar, CUNY (Oct 2017).

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

Nonhyperfinite countable equivalence relations, MoPA Seminar, CUNY (Mar 2017).

Separating class determinacy, Set Theory Seminar, CUNY (Nov 2016).

Models of arithmetic with two expansions to a model of ACA_0, MoPA Seminar, CUNY (Oct 2016).

Yet more forcing in arithmetic: life in a secondorder world, MoPA Seminar, CUNY (Sept 2016).

Recursive definability of the standard cut, MoPA Seminar, CUNY (Oct 2015).

Is there a least transitive model of Kelley–Morse set theory?, Set Theory Seminar, CUNY (Oct 2015).

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

Rather classless models of set theory and secondorder set theory, Set Theory Seminar, CUNY (Mar 2015).

Forcing over models of arithmetic, MoPA Seminar, CUNY (Nov 2014).

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

On the independence of the Borel conjecture, Set Theory Seminar, CUNY (Apr 2014).
Service

Coorganizer (with V. Gitman), MAMLS Logic Friday, MidAtlantic Mathematical Logic Seminar, The Graduate Center, CUNY. (Oct 2017)

Coorganizer (with V. Gitman), Set Theory Seminar, The Graduate Center, CUNY. (2017–2018)

Coorganizer (with A. Dolich), Models of Peano Arithmetic Seminar, The Graduate Center, CUNY. (2017–2018)

Organizer, Student Set Theory Seminar, The Graduate Center, CUNY. (2017–2018)
Technical Experience

Winter to Summer 2013, I was a software engineer at Clearwater Analytics, LLC in Boise, Idaho.

Technical Skills: LaTeX, Linux, Java, Python, SQL.