Source author record

Grigor Sargsyan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

4works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Suslin cardinals and cutpoints in mouse limits

We obtain a partial result on the following conjecture. Conjecture. Let (P, Σ) be a projectum stable mouse pair, and let κbe a cardinal of V such that κ< o(M_\infty(P, Σ)); then the following are equivalent: (1) κis a Suslin cardinal, (2) κis a cutpoint of M_\infty(P, Σ).

preprint2021arXiv

HOD in inner models with Woodin cardinals

We analyze the hereditarily ordinal definable sets $\operatorname{HOD}$ in $M_n(x)[g]$ for a Turing cone of reals $x$ , where $M_n(x)$ is the canonical inner model with $n$ Woodin cardinals build over $x$ and $g$ is generic over $M_n(x)$ for the Lévy collapse up to its bottom inaccessible cardinal. We prove that assuming $\boldsymbolΠ^1_{n+2}$ -determinacy, for a Turing cone of reals $x$ , $\operatorname{HOD}^{M_n(x)[g]} = M_n(\mathcal{M}_{\infty} | κ_\infty, Λ),$ where $\mathcal{M}_\infty$ is a direct limit of iterates of $M_{n+1}$ , $δ_\infty$ is the least Woodin cardinal in $\mathcal{M}_\infty$ , $κ_\infty$ is the least inaccessible cardinal in $\mathcal{M}_\infty$ above $δ_\infty$ , and $Λ$ is a partial iteration strategy for $\mathcal{M}_{\infty}$ . It will also be shown that under the same hypothesis $\operatorname{HOD}^{M_n(x)[g]}$ satisfies $\operatorname{GCH}$ .

preprint2013arXiv

On the prewellordering associated to the dircted systems of mice

Working under $AD$ , we investigate the length of prewellorderings given by the iterates of $\M_{2k+1}$, which is the minimal proper class mouse with $2k+1$ many Woodin cardinals. In particular, we answer some questions from \cite{Hjorth01} (the discussion of the questions appears in the last section of \cite{HjorthD}).

preprint2012arXiv

An inner model proof of the strong partition property of δ^2_1

We prove the strong partition property for δ^2_1 using methods from inner model theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.