对应于Friedman带间隙条件线性化良偏序的序数记号系统
逻辑
2015-05-07 v1
摘要
在本文中，我们研究无加性theta函数是否构成Friedman良偏序（带有所谓有限标签集上的间隙条件）的线性版本的规范记号系统。颇为令人惊讶的是，我们可以证明这对于两个标签成立，但对于多于两个标签则不成立。为此，我们确定了无加性theta函数的记号系统的序类型，用小于的序数表示。我们进一步证明Friedman序的最大序类型可由基于特定二元theta函数的某种序数记号系统获得。
引用
@article{arxiv.1505.01359,
title = {Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition},
author = {Michael Rathjen and Jeroen Van der Meeren and Andreas Weiermann},
journal= {arXiv preprint arXiv:1505.01359},
year = {2015}
}
备注
41 pages