潜在的同构和半适当树
摘要：可能同构性的概念研究：如果两个结构在某个保留稳定集且不会增加小于模型的基数的新集合的泛扩展中同构，则它们被称为可能同构。我们引入了半适当和弱半适当树的概念，并指出对于给定的完全理论，可能同构模型的存在与弱半适当树的存在之间存在着强大的联系。我们在某些基数算术假设下证明了半适当树的存在性。我们还展示了在一些大基数一致性假设下，弱半适当树不存在的一致性。
作者：Alex Hellsten and Tapani Hyttinen and Saharon Shelah
论文ID：math/0112288
分类：Logic
分类简称：math.LO
提交时间：2007-05-23