来自唯一分支假设温和失效的非温和鼠
逻辑
2019-08-15 v1
摘要
在本文中，我们证明了对于温和树（见\rdef{tame iteration tree}）的唯一分支假设（UBH）的失效意味着在的某个齐次泛型扩张中存在一个传递模型，包含，使得。特别是，这暗示了（在中）非温和鼠的存在。本文的结果显著扩展了 Steel 在\cite{steel2002core}中关于温和树的早期结果。
引用
@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}
}