CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  Publicationsjournals
Publications        
Search results

Search: MSC category 03E60 ( Determinacy principles )

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM Online first

Sargsyan, Grigor; Trang, Nam
Non-tame Mice from Tame Failures of the Unique Branch Hypothesis
In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees implies that in some homogenous generic extension of $V$ there is a transitive model $M$ containing $Ord \cup \mathbb{R}$ such that $M\vDash \mathsf{AD}^+ + \Theta \gt \theta_0$. In particular, this implies the existence (in $V$) of a non-tame mouse. The results of this paper significantly extend J. R. Steel's earlier results for tame trees.

Keywords:mouse, inner model theory, descriptive set theory, hod mouse, core model induction, UBH
Categories:03E15, 03E45, 03E60

© Canadian Mathematical Society, 2014 : http://www.cms.math.ca/