n-局部化性质
逻辑
2013-01-04 v1
摘要
设 n 为大于 1 的整数。若树 T 中每个节点至多具有 n 个直接后继,则称 T 为 n 叉树。若经由 P 的扩张中从 omega 到 omega 的每个函数都是基模型中某 n 叉树的 omega-分支,则力迫 notion P 具有 n-局部化性质。在本文中,我们关注于为可数支撑迭代获得 n-局部化性质。
引用
@article{arxiv.math/0507519,
title = {n-localization property},
author = {Andrzej Roslanowski},
journal= {arXiv preprint arXiv:math/0507519},
year = {2013}
}