Hod mice and the mouse set conjecture

DOI10.1090/MEMO/1111zbMATH Open1403.03110OpenAlexW2039139196MaRDI QIDQ2944997FDOQ2944997

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

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

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)

Cites Work

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

Cited In (31)

• 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}^+\)
• Ideals and strong axioms of determinacy
• Iterability for (transfinite) stacks
• Covering with Chang models over derived models
• Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• A brief account of recent developments in inner model theory
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• Supercompactness can be equiconsistent with measurability
• 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
• Universally Baire sets and generic absoluteness
• The AD+ conjecture and the continuum hypothesis
• Translation procedures in descriptive inner model theory
• 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)