A microscopic approach to Souslin-tree constructions, Part I

A microscopic approach to Souslin-tree constructions, Part I
复制标题

苏斯林树构造的微观方法,第一部分

DOI:
10.1016/j.apal.2017.05.003
复制
发表时间:
2016
期刊:
Ann. Pure Appl. Log.
影响因子:
--
通讯作者:
A. Rinot
A. Rinot
中科院分区:
--
文献类型:
--
作者:
A. M. Brodsky;A. Rinot

文献摘要

参考文献

被引文献

相似文献

我们提出了一个参数化的代理原则,从该原则中可以构造具有各种附加特征的κ-Souslin树,而不管κ的身份。然后,我们introducethe微观的方法,这是一个简单的方法,从代理原则的实例派生树。作为证明,我们构造了一致相干的κ-Souslin树,该树也适用于κ不可达的情形,然后系统地研究了代理原理实例的一致性,并以参数向量作为其输入.除其他事项外,它将表明,所有已知的k-Souslin树的基于代理的结构可以通过这个新的代理原则进行重定向。
We propose a parameterized proxy principle from whichκ-Souslin trees with various additional features can be constructed, regardless of the identity ofκ. We then introducethe microscopic approach, which is a simple method for deriving trees from instances of the proxy principle. As a demonstration, we give a construction of a uniformly coherentκ-Souslin tree that applies also forκinaccessible.We then carry out a systematic study of the consistency of instances of the proxy principle, distinguished by the vector of parameters serving as its input. Among other things, it will be shown that all known ⋄-based constructions ofκ-Souslin trees may be redirected through this new proxy principle.
专门针对较高 Aronszajn 树的上升路径和强迫
DOI: 10.4064/fm224-11-2016
发表时间: 2017
影响因子: 0.6
作者:
Philipp Lücke
通讯作者: Philipp Lücke