English

Non-tame mice from tame failures of the unique branch hypothesis

Logic 2019-08-15 v1

Abstract

In this paper, we show that the failure of the unique branch hypothesis (UBH) for tame trees (see \rdef{tame iteration tree}) implies that in some homogenous generic extension of VV there is a transitive model MM containing OrdROrd \cup \mathbb{R} such that MAD++Θ>θ0M\vDash AD^+ + \Theta > \theta_0. In particular, this implies the existence (in VV) of a non-tame mouse. The results of this paper significantly extend Steel's earlier results from \cite{steel2002core} for tame trees.

Keywords

Cite

@article{arxiv.1211.0761,
  title  = {Non-tame mice from tame failures of the unique branch hypothesis},
  author = {Grigor Sargsyan and Nam TRang},
  journal= {arXiv preprint arXiv:1211.0761},
  year   = {2019}
}