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 there is a transitive model containing such that . In particular, this implies the existence (in ) 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}
}