潜在同构与半恰当树
逻辑
2007-05-23 v1
摘要
我们研究一种潜在同构的概念:如果两个结构在某个保持平稳集且不添加基数小于模型基数的新集合的泛型扩张中同构,则称它们是潜在同构的。我们引入半恰当树与弱半恰当树的概念,并指出对于给定的完全理论,潜在同构模型的存在性与弱半恰当树的存在性之间有很强的联系。我们证明了在某些基数算术假设下存在半恰当树。我们还证明了在假定某些大基数一致性的前提下,弱半恰当树不存在也是一致的。
引用
@article{arxiv.math/0112288,
title = {Potential isomorphism and semi-proper trees},
author = {Alex Hellsten and Tapani Hyttinen and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0112288},
year = {2007}
}