加法主序数类上的 Carlson $<_1$-关系
逻辑
2013-07-12 v1
摘要
这是系列文章中的第一篇。我们的总体目的是在整个序数类中研究 Carlson 的 -关系，并随后将其与具有证明论意义的序数联系起来。在这篇介绍性文章中，在给出基本定义之后，我们研究了（典范）同构 {g(0,a,b)|a,b 为加法主数} 和 -关系，并考察 如何通过这些概念诱导出更稀疏的序数 k-club 类。在后续文章中将展示将这些思想完全推广到由 诱导的最稀疏 k-club 类。
引用
@article{arxiv.1307.3130,
title = {Carlson's $<_1$-relation on the class of additive principal ordinals},
author = {Parmenides Garcia Cornejo},
journal= {arXiv preprint arXiv:1307.3130},
year = {2013}
}