{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,6,12]，“日期-时间”：“2022-06-12T21:18:18Z”，“时间戳”：1655068698780}，“引用-计数”：26，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“1”，“许可证”：[{“开始”：{-“日期-零件”：[2014,3,12]]，“日期时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000｝，“内容版本”：“未指定”，“延迟天数”：2568，“URL”：“https://www.cambridge.org/core\/terms”｝]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“J.symb.log.”]，“已发布的印刷品”：｛“日期部分”：[[2007,3]]｝，“摘要”：“摘要<\/jats:title>逐点遍历定理是非结构化的。本文研究了这种非结构化的起源，并确定了该定理和用于证明它的辅助语句的逻辑强度。我们讨论了可积函数和保测度变换的性质，并给出了该定理的三个证明，虽然主要集中在从平均遍历定理导出的遍历定理上。所有证明都可以在ACA中进行0<\/jats:sub>；此外，逐点遍历定理等价于(ACA<\/jats:italic>）超过基本理论RCA0<\/jats:sub><\/jats:p>“，”DOI“：”10.2178\/jsl\/1174668383“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T11:24:33Z“，”timestamp“：1198063473000}，”page“：“45-66”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“二阶算术子系统中的逐点遍历定理”]，“前缀”：“10.1017“，”卷“：”72“，”author“：[{”given“：”Ksenija“，”family“：”Simic“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2014,3,12]]}，”reference“：[}”key“：“S0022481200005478_ref026”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF01621469”}，{“key”：“S0224812000054 78_ref 011”，“卷时间”：“遍历理论讲座”，“作者”：“Halmos”，“年份：“1960”}，{“key”：“S0022481200005478_ref021”，“首页”：“70\u201382”，“文章标题”：“准变元假设的证明”，“卷”：“18”，“作者”：“冯·诺依曼”，“年份”：“1932”，“新闻标题”：《美国国家科学院院刊》}，}“key”：“SO0022481120005478_ref002”，“doi-asserted-by”：“出版商”，“doi”：“10.1016\/j近似值2005.03.004“}，{“key”：“S0022481200005478_ref019”，“volume-title”：“二阶算术子系统”，“author”：“Simpson”，“year”：“1998”}，{”key“：”S0022481 200005478_ ref016“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0168-0072（90）90068-D“10.1007\/BF02761409”}，{“键”：“S0022481200005478_ref009”，“非结构化”：“Frank Matthew，《1930年代遍历理论：国际数学活动研究》，预印本。”}，{“关键”：“S0224812000054 78_ref010”，“首页”：“381\u2013382”，“文章标题”：“Eberhard Hopf最大遍历定理的简单证明”，“卷”：“14”，“作者”：“Garsia”，“年份”：“1965”，“新闻标题”：《应用数学与力学杂志》}，{“key”：“S0022481200005478_ref020”，“unstructured”：“Spitters-Bas，建构主义与直觉主义集成理论与函数分析，奈梅亨大学博士论文，2002年。”，{“key”：“S0022481200005478_ref006”，“doi-asserted-by”：“publisher”，”doi“：“10.1007”，-9947-96-01725-4“}，{”键“：”S0022481200005478_ref013“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BF02761408”}，{“key”：“S0022481200005478_ref001”，“volume-title”：“\u201c阐明无限的本质\u201d:元数学和证明理论的发展”，“author”：“Avigad”，“year”：“2001”}、{“key”：“SO0022481250005478_ref024”，“doi-asserted-by”：8-0072（93）90232-3“}，{“key”：“S0022481200005478_ref017”，“unstructured”：“Simic Ksenija，二阶算术子系统中遍历理论的方面，卡内基梅隆大学博士论文，2004年，可在http://\/math.aizona.edu\\u02dcksimic.”}上获得的草案，{“key”：”S002248.1200005478_ ref005“，“volume-title”：“构造分析的基础”，“author”：“Bishop”，“年份”：“1967”}，{“key”：“S0022481200005478_ref015”，“首页”：“221\u2013239”，“文章标题”：“Sur la th\u00e9orie遍历”，“卷”：“17”，“作者”：“Riesz”，“年”：“1945”，《新闻标题》：“Commentarii Mathematici Helvetia”}“author”：“Billingsley”，“year”：“1965”}，{“key”：“S0022481200005478_ref018”，“非结构化”：“Simic Ksenija，二阶算术子系统中Lp空间的属性，已提交，可在http://\/math.arizona.edu\\u02dcksimic.”}获得，{“key”：“S0224812000054/78_ref023”，“first page”：”289\u2013297“，“volume-title”：“Logic and computation（Pittsburgh，PA，1987）”，“volue”：“106”，“author”：“Yu”，“年份”：“1990”}，{“密钥”：“S0022481200005478_ref007”，“doi-asserted-by”：“publisher”，”doi“：“10.1016\/0168-0072（86）90066-7”}“，”doi“：”10.1073\/pnas.17.2.656“}]，”集装箱标签“：[“符号逻辑杂志”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005478”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,5,1]]，“date-time”：“2019-05-01T20:11:24Z”，“timestamp”：1556741484000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005478\/type\/journal_article”}，”subtittle“：[]，”shortitle“：[]，”issued“：{”date-parts“：[2007,3]}，‘references-count’：26，”journal-article“}”：“1”，“published-print”：{“date-parts”：[[2007,3]]}}，“alternative-id”：[“S0022481200005478”]，“URL”：“http://\/dx.doi.org\/10.2178\/jsl\/1174668383”，“relationship”：{}，“ISSN”：[”0022-4812“，”1943-5886“]，“ISSN-type”：[{“value”：“0022-4812'，”type“：”print“}，{“value”：“1943-5886'，”type“：”electronic“}]，“subject”：【】，“published”：{“日期部分”：[[2007,3]]}}}