×
尼古拉斯·鲁普雷希特

具有普遍行为的相对Schnorr检验。 （英语） Zbl 1192.03018号

架构（architecture）。数学。逻辑 49，第5期，555-570（2010）。
小结：如果Schnorr测试涵盖了所有Schnor测试，那么相对于某些甲骨文（A）的Schnorr-测试可以非正式地称为“通用”。由于不存在真正的通用Schnorr检验，这样的（A\）无法计算。我们证明了具有这种性质的集正是那些具有高图灵度的集。我们的方法与Terwijn和Zambella对神谕的表征的证明密切相关，这些神谕在Schnorr测试中表现不佳。我们还考虑了计算相对化Schnorr检验的预言机，它具有覆盖所有可计算实数的较弱性质。这些神谕的等级严格包括超免疫等级，并严格包括在不可计算追踪的等级中。

引用于6文件

MSC公司：

03D28号 其他图灵度结构
03天32分 算法随机性和维数
03E17年 连续体的基本特征

关键词：

施诺尔试验;基本特征;Schnorr空值;可计算追踪的;强制
PDF格式BibTeX公司 XML格式引用
\textit{N.Rupprecht}，拱门。数学。逻辑49，No.5，555--570（2010；Zbl 1192.03018）
全文： 内政部

参考文献：

[1] Bartoszyñski T.：测度的可加性意味着范畴的可加。事务处理。美国数学。Soc.281225-239（1987年）·Zbl 0635.04001号
[2] Bartoszyński T.，Judah H.：集合论：关于实线的结构。A K Peters，Wellesley（1995）·Zbl 0834.04001号
[3] 布拉斯：连续统的组合基本特征。摘自：Foreman，M.，Kanamori，A.（编辑）《集合论手册》，第一卷，第五章。柏林施普林格（即将亮相）·Zbl 1198.03058号
[4] Downey R.G.、Griffiths E.J.：Schnorr随机性。J.塞姆。日志。69, 533–554 (2004) ·Zbl 1072.03025号 ·doi:102.178/jsl/1024818542文件
[5] Downey R.G.、Merkle W.、Reimann J.：Schnorr维数。数学。结构。公司。科学。16(5), 789–811 (2006) ·Zbl 1125.03033号 ·doi:10.1017/S0960129506005469
[6] Goldstern M.、Judah H.和Shelah S.：没有Cohen reals的强测度零集。J.塞姆。日志。58, 1323–1341 (1993) ·Zbl 0794.03067号 ·doi:10.2307/2275146
[7] Jockusch，C.G.Jr.，Soare，R.I.：（{\Pi_1^0}）理论的类别和程度。事务处理。美国数学。Soc.33-56（1972年）·Zbl 0262.02041号
[8] Kautz，S.A.：随机集的度数。康奈尔大学博士论文（1991年）
[9] Kunen K.：随机和cohen reals。收录于：Kunen，K.，Vaughan，J.E.（编辑）《集合理论拓扑手册》，第20章，第887–911页。Elsevier Science，阿姆斯特丹（1983）
[10] Kurtz，S.：不可解程度的随机性和一般性。伊利诺伊大学厄本纳分校博士论文（1981年）
[11] Martin D.A.：递归可枚举集的类和不可解度。Z.数学。日志。格兰德。数学。12, 295–310 (1966) ·Zbl 0181.30504号 ·doi:10.1002/malq.19660120125
[12] Martin-Löf P.：随机序列的定义。Inf.Control 9，602–619（1966年）·Zbl 0244.62008号 ·doi:10.1016/S0019-9958（66）80018-9
[13] Miller A.：测度的可加性意味着支配实数。程序。美国数学。Soc.91111-117（1984）·Zbl 0586.03042号 ·doi:10.1090/S0002-9939-1984-0735576-9
[14] Nies A.、Stephan F.、Terwijn S.A.：随机性、相对性和图灵度。J.塞姆。日志。70, 515–535 (2005) ·Zbl 1090.03013号 ·doi:10.2178/jsl/1120224726
[15] Pawlikowski J.，Recław I.：参数化Cichon图。基金。数学。147135-155（1995年）·Zbl 0847.04004号
[16] Raisonnier J.：关于测度问题的S.Shelah定理的数学证明及相关结果。以色列。数学杂志。48, 48–56 (1984) ·Zbl 0596.03056号 ·doi:10.1007/BF02760523
[17] Rothberger F.：Eineáquivalenz zwischen der Kontinuumhypothese und der Existencez der Lusinschen und Sierpi nn skischen Mengen。基金。数学。30, 215–217 (1938) ·Zbl 0018.39401号
[18] Schnorr C.-P.：Zufälligkeit und Wahrscheinlichkeit:数学课堂笔记，第218卷。柏林施普林格（1971）
[19] Schnorr C.-P.：过程复杂性和有效随机测试。J.公司。系统。科学。7636-388（1973年）·Zbl 0273.68036号 ·doi:10.1016/S0022-0000（73）80030-3
[20] Stephan，F.，Yu，L.：弱1-属和Kurtz随机的Lowness。收录于：《计算模型的理论与应用》，第3959卷，第756-764页。柏林施普林格出版社（2006）·Zbl 1178.03052号
[21] Terwijn S.A.，Zambella D.：计算随机性和低水平。J.塞姆。日志。66, 1199–1205 (2001) ·Zbl 0990.03033号 ·doi:10.2307/2695101
[22] van Lambalgen M.：重新考虑了冯·米塞斯的随机序列概念。J.塞姆。日志。52, 725–755 (1987) ·Zbl 0628.60001号 ·doi:10.2307/2274360
[23] Yu L.：谦逊代表宽泛。架构（architecture）。数学。日志。45233–238（2006年）·Zbl 1148.03033号 ·文件编号：10.1007/s00153-005-0306-y
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。