3 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.LO2025
The exact strength of generic absoluteness for the universally Baire sets
Grigor Sargsyan, Nam Trang
A set of reals is \textit{universally Baire} if all of its continuous preimages in topological spaces have the Baire property. is a type of generic absoluteness cond…
math.LO2025
The Largest Suslin Axiom
Grigor Sargsyan, Nam Trang
We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfi…