14 citations · 17 across the 4 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013★ 2 cited
On ground model definability
Victoria Gitman, Thomas A. Johnstone
Laver, and Woodin independently, showed that models of are uniformly definable in their set-forcing extensions, using a ground model parameter. We investigate ground mo…
math.LO2013★ 1 cited
Resurrection axioms and uplifting cardinals
Joel David Hamkins, Thomas A. Johnstone
We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection…