Bachmann-Howard 序数的基本序列与快增长层级
逻辑
2024-01-05 v5
摘要
我们证明 Buchholz 的 函数基本序列系统满足多种正则条件，包括 Bachmann 性质。我们将这些结果部分推广到 函数的变体，包括一个无加法、针对可数序数的版本。我们得出结论：基于这些记号系统的 Hardy 函数具有自然的单调性，并且主导所有沿 原始递归定义的函数。
引用
@article{arxiv.2203.07758,
title = {Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal},
author = {David Fernández-Duque and Andreas Weiermann},
journal= {arXiv preprint arXiv:2203.07758},
year = {2024}
}