19 citations · 36 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 3 cited
Minimum models of second-order set theories
Kameryn J Williams
In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory , Gödel--Bernays set theory $\mathsf{…
math.LO2017★ 19 cited
The exact strength of the class forcing theorem
Victoria Gitman, Joel David Hamkins, Peter Holy +2
The class forcing theorem, which asserts that every class forcing notion admits a forcing relation , that is, a relation satisfying the forcing re…