数学 > 逻辑
[提交于 2005年7月25日
]
标题: n-局部化性质
标题: n-localization property
摘要: 设n为大于1的整数。 一棵树T是一个n叉树,如果T中的每个节点最多有n个直接后继节点。 一个强制概念P具有n局部化性质,如果通过P进行扩展后的omega到omega的每个函数都是来自原模型中的n叉树的一个omega分支。 在本文中,我们感兴趣的是获得可数支撑迭代的n局部化性质。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.