Hod mice and the mouse set conjecture

Research output: Contribution to journalReview articlepeer-review

14 Scopus citations


We develop the theory of hod mice below AD + "Θ is regular". We use this theory to show that HOD of the minimal model of AD + "Θ is regular" satisfies GCH. Moreover, we show that the Mouse Set Conjecture is true in the minimal model of AD + "Θ is regular".

Original languageEnglish (US)
Pages (from-to)1-169
Number of pages169
JournalMemoirs of the American Mathematical Society
Issue number1111
StatePublished - Jul 1 2015

ASJC Scopus subject areas

  • Mathematics(all)
  • Applied Mathematics


  • Descriptive set theory
  • Hod mouse
  • Inner model theory
  • Mouse


Dive into the research topics of 'Hod mice and the mouse set conjecture'. Together they form a unique fingerprint.

Cite this