n-局部化性质
n-localization property
摘要:
设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分析而来,可能存在错误,请以论文正文为准。