测度及其随机实
AMS MathViewer支持的HTML文章
摘要:
工具书类
道格拉斯·森泽 , 彼得·克洛特 , 里克·L·史密斯 , 罗伯特·索尔 、和 斯坦利·韦纳 , 可计数$\Pi^0_1$类的成员 Ann.Pure应用。 逻辑 31 (1986),第2-3、145–163号。 特刊:第二届东南亚逻辑会议(曼谷,1984)。 先生 854290 ,内政部 10.1016/0168-0072(86)90067-9 A.天, 随机性和可计算性 ,惠灵顿维多利亚大学博士论文,2011年。 亚当·戴伊 和 约瑟夫·米勒 , 非可计算测度的随机性 ,事务处理。 阿默尔。 数学。 Soc公司。 365 (2013),第7期,3575–3591。 先生 3042595 ,内政部 10.1090/S0002-9947-2013-05682-6 罗德·唐尼 , 丹尼斯·R·赫希费尔特 , 约瑟夫·米勒 、和 安德烈·尼斯 , 比较Chaitin的停顿概率 ,J.数学。 日志。 5 (2005),第2期,167–192。 先生 2188515 ,内政部 10.1142/0219061305000468 罗德尼·G·唐尼 和 丹尼斯·赫施费尔特 , 算法的随机性和复杂性 《可计算性理论与应用》,施普林格出版社,纽约,2010年。 先生 2732288 ,内政部 10.1007/978-0-387-68441-3 佩特格拉奇 , 每个序列都可以简化为随机序列 ,通知。 和控制 70 (1986),第2-3期,186-192页。 先生 859105 ,内政部 10.1016/S0019-9958(86)80004-3 彼得·加奇 , 一般空间上算法随机性的一致检验 ,理论。 计算。 科学。 341 (2005),第1-3期,第91–137页。 先生 2159646 ,内政部 2016年10月10日/j.tcs.2005.03.054 埃利·格拉斯纳 , 通过连接遍历理论 《数学调查与专著》,第101卷,美国数学学会,普罗维登斯,RI,2003年。 先生 1958753 ,内政部 10.1090/surv/101 测度论 , 测量理论 ,D.Van Nostrand Co.,Inc.,纽约,1950年。 先生 0033869 ,内政部 10.1007/978-1-4684-9440-2 马修·霍洛普 和 克里斯托巴尔·罗哈斯 , 度量空间上概率测度的可计算性和Martin-Löf随机性 ,通知。 和计算。 207 (2009年),编号7830-847。 先生 2519075 ,内政部 10.1016/j.ic.2008.12.009 S.M.Kautz, 随机序列的度数 ,博士论文,康奈尔大学,1991年。 亚历山大·凯克里斯 , 经典描述性集合论 《数学研究生课本》,第156卷,施普林格-弗拉格出版社,纽约,1995年。 先生 1321597 ,内政部 10.1007/978-1-4612-4190-4 B.Kjos-Hanssen和A.Montalbán,《个人沟通》,2005年3月。 G.克雷塞尔 , 用层次分析法分析Cantor-Bendixson定理 ,公牛。 阿卡德。 波隆。 科学。 Sér。 科学。 数学。 阿斯特。 物理学。 7 (1959), 621–626. (未装订插入)(英语,带俄语摘要)。 先生 0118673 安东·库奇时代 , 度量,$\Pi^0_1$-类和$\textrm{PA}的完整扩展$ 《递归理论周》(Oberwolfach,1984)数学课堂讲稿。, 第1141卷,施普林格,柏林,1985年,第245-259页。 先生 820784 ,内政部 2007年10月10日/BFb0076224 L.A.莱文 , 随机序列的概念 杜克。 阿卡德。 瑙克SSSR 212 (1973),548–550(俄语)。 先生 0366096 L.A.莱文 , 随机性的统一测试 杜克。 阿卡德。 瑙克SSSR 227 (1976),第1号,33–35(俄语)。 先生 0414222 列奥尼德·莱文 , 随机性守恒不等式:数学理论中的信息和独立性 ,通知。 和控制 61 (1984),第1期,第15–37页。 先生 764286 ,内政部 10.1016/s019-9958(84)80060-1 理查德·曼斯菲尔德 , 可定义实数集的完美子集 《太平洋数学杂志》。 35 (1970), 451–457. 先生 280380 ,内政部 10.2140/pjm.1970.35.451 根据Martin-Löf , 随机序列的定义 、信息和控制 9 (1966), 602–619. 先生 223179 ,内政部 10.1016/S0019-9958(66)80018-9 伊安尼斯·莫肖瓦基斯 , 描述性集合论 《逻辑与数学基础研究》,第100卷,北霍兰德出版公司,纽约阿姆斯特丹,1980年。 先生 561709 安德烈·穆奇尼克 , 亚历克谢·塞梅诺夫 、和 弗拉基米尔·乌斯彭斯基 , 随机性的数学形而上学 ,理论。 计算。 科学。 207 (1998),第2期,263–317。 先生 1643438 ,内政部 10.1016/S0304-3975(98)00069-3 安德烈·尼斯 , 可计算性和随机性 《牛津逻辑指南》,第51卷,牛津大学出版社,牛津,2009年。 先生 2548883 ,内政部 10.1093/acprof:oso/9780199230761.001.0001 大卫·B·波斯纳 和 罗伯特·罗宾逊 , 连接到${\bf 0}^{\prime}的度数$ ,J.符号逻辑 46 (1981),第4期,714–722。 先生 641485 ,内政部 10.2307/2273221 简·雷曼 , 有效闭合的度量集和随机性 Ann.Pure应用。 逻辑 156 (2008),第1期,170–182。 先生 2474448 ,内政部 2016年10月10日/j.apal.2008.06.015 J.Reimann和T.A.Slaman, 连续测量的随机性 ,正在准备中。 杰拉尔德·E·萨克斯 , 无法解决的程度 普林斯顿大学出版社,新泽西州普林斯顿,1963年。 先生 0186554 克劳斯·彼得·施诺尔 , Zufälligkeit und Wahrscheinlichkeit公司。 Eine算法Begründung der Wahrscheinlichkeits理论 《数学讲义》,第218卷,施普林格-弗拉格出版社,柏林-纽约,1971年。 先生 0414225 ,内政部 2007年10月10日/BFb0112458 罗伯特·索尔 , 递归可枚举集和度 《数理逻辑的观点》,施普林格-弗拉格出版社,柏林,1987年。 可计算函数和可计算生成集的研究。 先生 882921 ,内政部 10.1007/978-3-662-02460-7 罗伯特·M·索洛维 , 关于$\sum_{2}^{1}$实集的基数 《数学基础》(1966年俄亥俄州哥伦布市纪念库尔特·哥德尔研讨会),施普林格,纽约,1969年,第58-73页。 先生 0277382 克劳斯·维赫劳赫(Klaus Weihrauch) , 可计算分析 ,《理论计算机科学》课文。 EATCS系列,施普林格-弗拉格出版社,柏林,2000年。 引言。 先生 1795407 ,内政部 10.1007/978-3-642-56999-9 W·休·伍丁 , Posner-Robinson定理的一个tt版本 ,无限的计算前景。 第二部分。 Lect,演讲。 注释序列。 Inst.数学。 科学。 国家。 新加坡大学。, 第15卷,《世界科学》。 公开。, 新泽西州哈肯萨克,2008年,第355–392页。 先生 2449474 ,内政部 10.1142/9789812796554_ {0}019 A.K.茨万金 和 L.A.莱文 , 有限对象的复杂性及信息和随机性概念在算法理论上的基础 乌斯佩希·马特·诺克 25 (1970年),第6号(156),85-127(俄语)。 先生 0307889
其他信息
简·雷曼 附属机构:宾夕法尼亚州立大学数学系,宾夕法尼亚大学公园,16802 MR作者ID: 667958 ORCID代码: 0000-0003-1156-8390 电子邮件: reimann@math.psu.edu 西奥多·斯拉曼 附属机构:加利福尼亚大学伯克利分校数学系,伯克利,加利福尼亚94720 MR作者ID: 163530 电子邮件: slaman@math.berkeley.edu 编辑接收日期:2008年2月19日 编辑收到修订版:2013年5月14日 电子发布日期:2015年1月30日 附加说明:第一作者部分获得了NSF拨款DMS-0801270和DMS-1201263的支持。 第二位作者得到了NSF拨款DMS-0501167和DMS-1001551的部分支持。 ©版权所有2015 美国数学学会 日记账:事务处理。 阿默尔。 数学。 Soc公司。 367 (2015), 5081-5097 MSC(2010):初级03D32、68Q30 内政部: https://doi.org/10.1090/S0002-9947-2015-06184-4 MathSciNet评论: 3335411