Kameryn J. Williams

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Non-tightness in class theory and second-order arithmetic The Journal of Symbolic Logic	2025-07-24	Paper
VARIETIES OF CLASS-THEORETIC POTENTIALISM The Review of Symbolic Logic	2024-04-04	Paper
Non-tightness in class theory and second-order arithmetic	2022-12-08	Paper
THE Σ<sub>1</sub>-DEFINABLE UNIVERSAL FINITE SEQUENCE Journal of Symbolic Logic	2022-06-15	Paper
The \omega-th inner mantle	2021-06-14	Paper
The exact strength of the class forcing theorem Journal of Symbolic Logic	2021-03-19	Paper
Forcing as a computational process	2020-07-01	Paper
Inner mantles and iterated HOD Mathematical Logic Quarterly	2020-05-06	Paper
Minimum models of second-order set theories Journal of Symbolic Logic	2020-04-06	Paper
Set-theoretic blockchains Archive for Mathematical Logic	2019-09-19	Paper
The Sigma₁-definable universal finite sequence (available as arXiv preprint)	2019-09-19	Paper
The Structure of Models of Second-order Set Theories	2018-04-25	Paper
Maximal unbalanced families	2012-09-11	Paper
A simplified and generalized treatment of DES related ciphers	2012-05-25	Paper

Research outcomes over time

This page was built for person: Kameryn J. Williams