迭代递归马洛运算
逻辑
2010-05-13 v1
摘要
在本文中，我们探讨一个问题：在更高层反映宇宙中，我们能将低层递归马洛运算迭代多远？或者形式化地表述：在更高层反映宇宙的集合论中，低层递归马洛运算可以被迭代多少？结果表明，在-反映宇宙中，最低的递归马洛运算可以沿着高度为的-指数序塔进行迭代，而且我们所能做的仅是此类迭代。即，-反映宇宙的集合论在证明论上可归约到该运算沿此塔的迭代。
引用
@article{arxiv.1005.1987,
title = {Iterating the recursively Mahlo operations},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1005.1987},
year = {2010}
}