时间层级与可证层级的直谓调和
计算机科学中的逻辑
2007-05-23 v1 计算复杂性
摘要
通过将序数分配给命令式语言的程序，定义了一个可判定的超限层级。它区分出：TIMEF(n^c) 和 TIMEF(n_c) 类；初等层级及以上的有限 Grzegorczyk 类，以及 PA 的 \Sigma_k-IND 片段。未使用受限算子、对角化和受控函数。
引用
@article{arxiv.cs/0609130,
title = {A Predicative Harmonization of the Time and Provable Hierarchies},
author = {Salvatore Caporaso},
journal= {arXiv preprint arXiv:cs/0609130},
year = {2007}
}
备注
11 pages