1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.LO2025
Partial Tower Sealing
Grigor Sargsyan, Nam Trang
The main result of this paper shows that a weak form of Tower Sealing holds in a generic extension of hod mice with a strong cardinal and a proper class of Woodin cardinals. We sho…
math.LO2021★ 1 cited
Sealing from Iterability
Grigor Sargsyan, Nam Trang
We obtain sealing by forcing over a self-iterable model. The proof is fine-structure free and uses only basic ideas from iteration theory. We believe that such fine-structure free…