Kameryn J. Williams
From MaRDI portal
Person:2274141
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 |
|---|---|---|
| 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 Σ1-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_1-definable universal finite sequence | 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
