arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0507519math.LO
收藏

n-局部化性质

n-localization property

Andrzej Roslanowski

摘要:

设n为大于1的整数。一棵树T是一棵n叉树,只要T中的每个节点最多有n个直接后继。一个力迫概念P具有n-局部化性质,如果在通过P的扩张中从Ω到Ω的每个函数都是来自基模型的n叉树中的Ω分支。在本文中,我们感兴趣的是得到可数支撑迭代的n-局部化性质。

英文摘要:

Let n be an integer greater than 1. A tree T is an n-ary tree provided that every node in T has at most n immediate successors. A forcing notion P has the n-localization property if every function from omega to omega in an extension via P is an omega-branch in an n-ary tree from the ground model. In the present paper we are interested in getting the n-localization property for countable support iterations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑