无限时间图灵机的良基迭代
逻辑
2015-10-05 v1
摘要
无限时间图灵机通过若干种方式被扩展，以允许迭代预言机调用。讨论了这些机器的表达能力，并在某些情形下得以确定。
引用
@article{arxiv.1510.00691,
title = {Well-founded Iterations of Infinite Time Turing Machines},
author = {Robert Lubarsky},
journal= {arXiv preprint arXiv:1510.00691},
year = {2015}
}
备注
in Ways of Proof Theory (Ralf Schindler, ed.), Ontos, 2010