Hod mice and the mouse set conjecture

Research output: Contribution to journalReview article

10 Scopus citations

Abstract

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
Volume236
Issue number1111
DOIs
StatePublished - Jul 1 2015

All Science Journal Classification (ASJC) codes

  • Mathematics(all)
  • Applied Mathematics

Keywords

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

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

  • Cite this