Howard-Bachmann 层级的序理论刻画
逻辑
2015-01-06 v2
摘要
本文通过证明该序数可实现在同胚嵌入关系下的一类广义树的最大序型，以自然良偏序的形式对著名的 Howard-Bachmann 序数提供了内在刻画。我们利用计算结果对二阶算术的某些相应子系统得出了一些结论。所有这些子系统都涉及轻面 - comprehension 的版本。
引用
@article{arxiv.1411.4481,
title = {An order-theoretic characterization of the Howard-Bachmann-hierarchy},
author = {Jeroen Van der Meeren and Michael Rathjen and Andreas Weiermann},
journal= {arXiv preprint arXiv:1411.4481},
year = {2015}
}
备注
46 pages