×
伯恩哈德·科尼格

局部一致性。 （英语） Zbl 1035.03022号

Ann.纯粹应用。逻辑 124，编号1-3，107-139（2003）.
总结：我们从可定义性的角度描述了具有有限支持的函数树。事实证明，这有多种应用：一方面，为\（\omega_1\）提供了一种新的树二分法。另一方面，我们证明了树在SPFA下的反射原理。树木的这种反射意味着静止反射。

引用于5文件

理学硕士：

03E05号 其他组合集理论
第37页 集合理论可定义性的其他概念

关键词：

相干树;Aronszajn树;反射原理;可定义性
PDF格式BibTeX公司 XML格式引用
\textit{B.König}，Ann.纯粹应用。逻辑124，编号1--3，107-139（2003；Zbl 1035.03022）
全文： 内政部

参考文献：

[1] Baumgartner，J.，一类新的订单类型，Ann.Math。逻辑，9187-222（1976）·Zbl 0339.04002号
[2] Baumgartner，J.，适当强迫公理的应用，（Kunen，K.；Vaughan，J.E.，《集合论拓扑手册》（1984），北荷兰：北荷兰阿姆斯特丹），913-959·Zbl 0556.03040号
[3] Beaudoin，R.E.，《真强迫公理与平稳集反射》，太平洋数学杂志。，149, 13-24 (1991) ·Zbl 0687.03034号
[4] Bekkali，M.，集理论主题，数学课堂讲稿，第1476卷（1992），施普林格：施普林格柏林
[5] M.Davis，完美信息的无限游戏，收录于：M.Dresher，L.S.Shapley，A.W.Tucker（编辑），《博弈论进展》，普林斯顿大学出版社，普林斯顿，1964年，第85-101页。；M.Davis，《完美信息的无限游戏》，载于：M.Dresher，L.S.Shapley，A.W.Tucker（编辑），《博弈论进展》，普林斯顿大学出版社，1964年，第85-101页·Zbl 0133.13104号
[6] Dilworth，R.P.，偏序集的分解定理，《数学年鉴》。，51, 161-166 (1950) ·Zbl 0038.02003号
[7] Erdős，P。；Hajnal，A。；Máté，A。；Rado，R.，组合集理论：红雀的划分关系（1984），北荷兰：北荷兰阿姆斯特丹·Zbl 0573.03019号
[8] 工头，M。；Magidor，M。；Shelah，S.，Martin的最大值、饱和理想和非正则超滤波器I，Ann.Math。，127, 1-47 (1988) ·Zbl 0645.03028号
[9] Jech，T.，《集合论，数理逻辑的观点》（1997），施普林格：施普林格柏林·Zbl 0882.03045号
[10] Jensen，R.，《可构造层次结构的精细结构》，《数学年鉴》。逻辑，4229-308（1972）·Zbl 0257.02035号
[11] B.König，《树、游戏和反思》，博士论文，慕尼黑国立大学，2001年11月。；B.König，《树、游戏和反思》，博士论文，慕尼黑国立大学，2001年11月。
[12] Kunen，K.，《集合论》。《独立证明导论》（1980），北荷兰：北荷兰阿姆斯特丹·Zbl 0443.03021号
[13] Kurepa，D.，奥尔登内斯和拉米菲合奏团，Publ。数学。贝尔格莱德大学，4，1-138（1935）
[14] Larson，P。；Todorčević，S.，最大模型中的链条件，基金。数学。，168, 77-104 (2001) ·Zbl 0969.03059号
[15] Mitchell，W.，Aronszajn树和转移属性的独立性，Ann.Math。逻辑，521-46（1972）·Zbl 0255.02069号
[16] 宫本康夫（T.Miyamoto），强迫的可数闭合概念通常会添加菱形序列，J.Baumgartner在20世纪80年代的课程讲稿（未出版）。；宫本康夫（T.Miyamoto），强迫的可数闭合概念通常会添加菱形序列，J.Baumgartner在20世纪80年代的课程讲稿（未出版）。
[17] Shelah，S.，《恰当和不当强迫》，《数理逻辑的观点》（1998），施普林格出版社：施普林格-柏林·Zbl 0889.03041号
[18] 谢拉，S。；Zapletal，J.，标准模型\(ℵ1）-组合学，Ann.Pure Appl。逻辑，98，217-259（1999）·Zbl 0935.03055号
[19] Todorčević，S.，关于适当强迫公理的注记，Contemp。数学。，31, 209-218 (1984) ·Zbl 0564.03038号
[20] Todorčević，S.，《树与线性有序集》（Kunen，K.；Vaughan，J.E.，《集合理论拓扑手册》（1984），北荷兰：北荷兰阿姆斯特丹），235-293·Zbl 0557.54021号
[21] 托多尔切维奇，S.，可数序数的划分对，数学学报。，159, 261-294 (1987) ·Zbl 0658.03028号
[22] Todorčević，S.，特殊平方序列，Proc。阿默尔。数学。Soc.，105，199-205（1989）·Zbl 0675.03028号
[23] 托多尔切维奇，S.，《树、子树和顺序类型》，《数学年鉴》。逻辑，20233-268（1981）·Zbl 0469.03036号
[24] S.Todorčević，相干序列，收录于：M.Foreman，A.Kanamori，M.Magidor（编辑），集合理论手册，荷兰北部，阿姆斯特丹（待出版）。；S.Todorčević，相干序列，收录于：M.Foreman，A.Kanamori，M.Magidor（编辑），集合理论手册，荷兰北部，阿姆斯特丹（待出版）。
[25] Veličković，B.，延森氏□ 部分有序集的原理和诺瓦克数，J.符号逻辑，51，47-58（1986）·Zbl 0617.03027号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。