activity
20122025
most citedNon-tame mice from tame failures of the unique branch hypothesis

3 citations · 4 across the 5 of their papers we have counts for

collaborators

6 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

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…

math.LO2021

Ideals and Strong Axioms of Determinacy

Dominik Adolf, Grigor Sargsyan, Nam Trang +2

We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associ…

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…

math.LO2021

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.LO2012★ 3 cited

Non-tame mice from tame failures of the unique branch hypothesis

Grigor Sargsyan, Nam TRang

In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees (see \rdef{tame iteration tree}) implies that in some homogenous generic extension of $…