26 citations · 35 across the 32 of their papers we have counts for
5 papers · 1 filter
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 $…
The core model induction beyond : non-tame mouse from PFA
Grigor Sargsyan
We show that PFA implies that there is a non-tame mouse.
An inner model proof of the strong partition property of δ^2_1
Grigor Sargsyan
We prove the strong partition property for δ^2_1 using methods from inner model theory.
Descriptive inner model theory
Grigor Sargsyan
A paper for general audience about descriptive inner model theory.
Square principles in Pmax extensions
Andrés Eduardo Caicedo, Paul Larson, Grigor Sargsyan +3
By forcing with over strong models of determinacy, we obtain models where different square principles at and fail. In particular, we obtain a mod…