6 citations · 17 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 1 cited
The set-theoretic universe is not necessarily a class-forcing extension of HOD
Joel David Hamkins, Jonas Reitz
In light of the celebrated theorem of Vopěnka (1972), proving in ZFC that every set is generic over HOD, it is natural to inquire whether the set-theoretic universe must be a c…
math.LO2017★ 6 cited
Inner-model reflection principles
Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs +3
We introduce and consider the inner-model reflection principle, which asserts that whenever a statement in the first-order language of set theory is true in the set-theoreti…