由 <_1 诱导的高阶序数类
逻辑
2013-09-25 v1
摘要
在本文中，我们要表明可以迭代并推广"Carlson 关于 epsilon 数类上的 <_1 关系"中提出的概念，从而获得由 <_1 关系诱导的作为条件解的高阶或更精细的序数类。事实上，这些结果非常普遍，以至于在未来的文章中，我们将能够将序数 表征为由 <_1 诱导的最精细类的最小序数。
引用
@article{arxiv.1309.5996,
title = {Higher Classes of Ordinals induced by <_1},
author = {Parménides García Cornejo},
journal= {arXiv preprint arXiv:1309.5996},
year = {2013}
}