无限时间寄存机上的随机性与度理论
逻辑
2026-05-19 v1
摘要
本文定义并研究了无限时间寄存机（ITRM）的随机性概念。特别地，我们证明了对于该随机性概念，从相互随机的实数可计算蕴含可计算性，并且 van Lambalgen 定理的类似形式成立。随后将其应用于获取有关 ITRM 度结构的结果。最后，我们考虑了 ITRM 的自可归约性，并证明了随机性蕴含非自可归约性。
引用
@article{arxiv.1508.04618,
title = {Randomness and Degree Theory for Infinite Time Register Machines},
author = {Merlin Carl},
journal= {arXiv preprint arXiv:1508.04618},
year = {2026}
}