26 citations · 35 across the 32 of their papers we have counts for
16 papers · 1 filter
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…
On the derived models of self iterable universes
Grigor Sargsyan, Takehiko Gappo
We show that if the universe is self-iterable and is an inaccessible limit of Woodin cardinal then is regular" holds in the derived model at . The proof is fine-…
Hod up to AD is measurable
Grigor Sargsyan, Rachid Atmai
Suppose is a transitive class size model of is regular". is a minimal model of is measurable" if (i) $\mathbb{R}, Ord\subseteq M…
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…
An inner model theoretic proof of Becker's theorem
Grigor Sargsyan
We give a new proof of a theorem of Becker that under AD+V=L(R), omega_2 is a kappa-supercompact for every kappa less than or equal to the supremum of all Suslin cardinals. Our pro…
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…