6 citations · 17 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Inner mantles and iterated HOD
Jonas Reitz, Kameryn J Williams
We present a class forcing notion , uniformly definable for ordinals , which forces the ground model to be the -th inner mantle of the extension, in which the s…
math.LO2018
Cohen Forcing and Inner Models
Jonas Reitz
Given an inner model and a regular cardinal , we consider two alternatives for adding a subset to by forcing: the Cohen poset , and the Cohen poset o…