Canadian Mathematical Society www.cms.math.ca
 location:  Publications → journals
Search results

Search: All articles in the CJM digital archive with keyword mouse

 Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2013 (vol 66 pp. 903)

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, UBHCategories:03E15, 03E45, 03E60
 top of page | contact us | privacy | site map |

© Canadian Mathematical Society, 2015 : https://cms.math.ca/