BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Grigor Sargsyan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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, Σ).
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}$.
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}).
We prove the strong partition property for δ^2_1 using methods from inner model theory.