Hod mice and the mouse set conjecture

DOI10.1090/MEMO/1111MaRDI QIDQ2944997zbMATH OpenOpenAlexFDO

Authors Grigor Sargsyan

Publication date 9 September 2015

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/559e410624c76ca2d03cbacc6e8f7598ac11bec8

zbMATH Keywords

descriptive set theoryhod mouseinner model theorymouse

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• The mouse set conjecture for sets of reals
• HOD in natural models of \(\mathsf{AD}^+\)
• scientific article; zbMATH DE number 5504385
• The fine structure of real mice
• Mouse sets

Cites work

• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 4023262 (Why is no real title available?)
• scientific article; zbMATH DE number 3741373 (Why is no real title available?)
• scientific article; zbMATH DE number 3741374 (Why is no real title available?)
• scientific article; zbMATH DE number 3762048 (Why is no real title available?)
• scientific article; zbMATH DE number 3609660 (Why is no real title available?)
• scientific article; zbMATH DE number 3616416 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• A classification of jump operators
• A universal extender model without large cardinals in V
• Admissible Suslin cardinals in L(R)
• An outline of inner model theory
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
• Core models with more Woodin cardinals
• Deconstructing inner model theory
• Descriptive inner model theory
• Descriptive set theory
• Determinacy in L(ℝ)
• HOD in natural models of \(\mathsf{AD}^+\)
• Inner models and large cardinals
• Iteration Trees
• Large cardinals from determinacy
• Measure and category in effective descriptive set theory
• Non-tame mice from tame failures of the unique branch hypothesis
• Nontame mouse from the failure of square at a singular strong limit cardinal
• On the determinacy of games on ordinals
• PFA implies AD^L(ℝ)
• Projectively well-ordered inner models
• Stacking mice
• Structural consequences of AD
• Suitable extender models. I
• The Theory of Countable Analytical Sets
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The derived model theorem
• The mouse set conjecture for sets of reals
• The self-iterability of L[E]

Cited in

(31)

• Universally Baire sets and generic absoluteness
• The AD+ conjecture and the continuum hypothesis
• Translation procedures in descriptive inner model theory
• The definability of \(\mathbb{E}\) in self-iterable mice
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• The envelope of a pointclass under a local determinacy hypothesis
• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• The mouse set conjecture for sets of reals
• Determinacy from strong compactness of \(\omega_1\)
• Hod up to \(A D_{\mathbb{R}} + \Theta\) is measurable
• HOD in natural models of \(\mathsf{AD}^+\)
• Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• Iterability for (transfinite) stacks
• Covering with Chang models over derived models
• Ideals and strong axioms of determinacy
• A brief account of recent developments in inner model theory
• Supercompactness can be equiconsistent with measurability
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• A long pseudo-comparison of premice in \(L[x]\)
• NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• The comparison lemma
• On the derived models of self-iterable universes
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• PFA and guessing models
• VARSOVIAN MODELS I
• Determinacy axioms and large cardinals
• SEALING OF THE UNIVERSALLY BAIRE SETS
• The Bristol model: an abyss called a Cohen real
• Provably \(\Delta_1\) games
• Square principles in \(\mathbb{P}_{\max}\) extensions

This page was built for publication: Hod mice and the mouse set conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2944997)