首页/论文/1007.0844

arXiv 1007.08442010-07-06math.LO

序数理论的证明论III：$Π_{N}$ -反射

Proof theory for theories of ordinals III: $Π_{N}$-reflection

Toshiyasu Arai

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文利用序数图系统给出了一个$Π_{N}$ -反射序数理论的证明论。这是前一篇（APAL 129）的续篇，其中对$Π_{3}$ -反射的理论进行了理论上的证明分析。

英文摘要：

This paper deals with a proof theory for a theory of $Π_{N}$-reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory for $Π_{3}$-reflection is analysed proof-theoretically.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

蠕虫和蜘蛛：反射演算和序数记号系统

Worms and Spiders: Reflection calculi and ordinal notation systems

我们给出了一个一般性的概述反射演算所产生的序数记号符号系统，并扩展到表示非谓词序数到那些可表示使用布赫霍尔茨风格的崩溃功能。

2017-10-03math.LO

一阶反射的简化序分析

A simplified ordinal analysis of first-order reflection

本文给出了一阶反射的一个简化的序分析。基于$ψ$ -函数，介绍了一个序数记号系统$OT$. $L_{ω_{1}^{CK}}$上的可证$Σ_{1}$ -语句通过算子控制导子上的割消有界。

2019-07-12math.LO

基于反射原理的序数记号系统的基本理论

On Elementary Theories of Ordinal Notation Systems based on Reflection Principles

我们考虑由L.D. Beklemishev。这个系统的一些片段是小序数${ω_n}$的序数记号系统（$ω$的塔-高度$n$的幂）。该系统基于Japaridze的可证明性逻辑$\mathbf{GLP}$。它们与基于迭代反射原理的$\mathbf{PA}$序分析技术和$\mathbf{PA}$片段密切相关。我们认为这个符号系统和它的片段作为一个自然的方式选择的签名结构。证明了序数${\geω_4}$的完整记法系统及其片断具有不可判定的初等定理。我们还证明了完整系统的片段，序数${\leω_3}$，有可判定的基本理论。对于具有较弱签名的序数记号系统，我们得到了初等理论的可判定性的一些结果。

2013-12-11math.LO

集合论中的广义序数分析与反射原理

Generalized ordinal analysis and reflection principles in set theory

针对自然公理系统良序层级的质疑，本文基于集合论反射原理提出证明论强度概念，证明其与Pohlers广义序数分析的理论序一致，生成良序层级，并推广至其他内模型。

2023-12-20math.LO

一般扩张中序数的反射性质

Reflection Properties of Ordinals in Generic Extensions

本文研究可数序数在 $L$ 的一般扩张中的 $Σ^1_n$ 或 $Π^1_n$ 反射性质，证明 Cohen、随机实数、Sacks 等力迫无法改变反射性，而塌缩力迫虽提升最小反射序数值，但仍小于 $L$ 的 $ω_1$。

2023-11-21math.LO

反思秩与序数分析

Reflection ranks and ordinal analysis

本文通过引入$\Pi^1_1$反思强度序及反思秩，解释了自然理论在一致性强度下良序的现象，并证明反思秩等于证明论序数，为序数记号系统提供了良基性证明。

2019-10-19math.LO

更多相关论文收起更多论文

Pi^0_1一阶算术以外的序数分析

Pi^0_1 ordinal analysis beyond first order arithmetic

本文给出了Beklemishev提出的Peano算术（PA）的Pi^0_1序分析的一个基本部分的概述。该分析主要在多模态可证明性逻辑GLP中执行。我们反映了这种分析超出PA的方式。这方面的一个主要困难是找到所谓的归约性质的适当推广。归约属性将反射原则与反射规则联系起来。在本文中，我们证明了一个结果，简化了反射规则。此外，我们看到，对于序数分析，不需要完全归约性质。这后一个观察也被认为是开辟了一些强基理论相对于序分析的应用。

2012-12-11math.LO

aleph_omega以下平稳集的全反射

Full reflection of stationary sets below aleph_omega

一致的是，对于每个n >= 2，由共尾性为omega_k的序数组成的omega_n的每个平稳子集，其中k = 0或k <= n-3，在共尾性为omega_{n-1}的序数集合中完全反映。我们还表明，这一结果是最好的可能。

1990-01-15math.LO

将$ω$ -模型反射约化为迭代句法反射

Reducing $ω$-model reflection to iterated syntactic reflection

在数理逻辑中，有两种看似不同的原则，称为“反射原则”。语义反射原理断言，如果一个公式在整个宇宙中成立，那么它在一个集合大小的模型中成立。句法反射原则断言，来自某个复杂性类的每个可证明句子都是真的。本文在二阶算术的背景下研究这两种反射原理之间的联系。我们证明，对于一个大的理论，$ω$模型反射是等价的索赔，均匀$Π^1_1$反射沿可数良序的任意迭代是$Π^1_1$ -声音。这个结果产生了强度在$\mathsf{ACA}_0$和$\mathsf{ATR}$之间的理论的一致序分析。我们分析的主要技术新颖性是引入了理论$T$的证明论扩张器的概念，它是可数序数上的算子，将$\prec$的序类型映射到$T+\mathsf{WO}(\prec)$的证明论序数。我们得到精确的结果证明理论扩张器的增长作为可证明的$ω$模型反射的函数。这种方法使我们能够同时获得不仅$Π^0_1$，$Π^0_2$，和$Π^1_1$序数，但也逆数学定理的良序原则。

2022-06-14math.LO

反射代数与迭代真值理论的守恒性结果

Reflection algebras and conservation results for theories of iterated truth

我们考虑扩展的语言皮亚诺算术transmittiterated真理定义满足一致塔斯基双条件。如果没有进一步的公理，这些理论被认为是原始算术系统的保守扩展。然而，更强的系统可以通过在它们之上添加归纳公理或反射公理来获得。这类理论可以解释一些著名的二阶算术的谓词可约片段，如迭代算术理解。我们得到尖锐的结果，这些系统的证明理论的强度，使用可证明性逻辑的方法。反射原理自然地定义了作用于我们的迭代真值基本理论的可公理化扩展的半格上的一元算子。这个代数的顶元素所产生的子结构为被研究的理论类提供了一个规范的序数记号系统。使用这些符号，我们获得了对应于超算术层次的不同逻辑复杂性水平的迭代反射原理的保守性关系，即，Schmerl公式的类似物。这些关系，反过来，提供了我们的系统和一些相关的谓词可还原理论的证明理论分析。特别是，我们统一计算的序数特征的标准措施，他们的证明理论的强度，如可证明的良序，类可证明递归函数，和$Π_1^0$ -序数。

2019-10-30math.LO

用于-bar-归纳（Bar Induction）的反射演算与一致性强度排序的线性性

A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering

Ghent University（根特大学）；Steklov Mathematical Institute of the Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）

本文提出反射演算的扩展RC_BI，分析ACA₀的相关扩展理论，证明其可靠性与完备性，借助模态语义确立相关理论类的预良序性，实现BI及其片段的序数分析并提出新型序数记号系统。

2026-10-14math.LO

$Π^{1}_{1}$-反射的良基性证明

Well-foundedness proof for $Π^{1}_{1}$-reflection

本文证明了集合论${sf KP}ω+(M≺_{Σ_1}V)$对于每个$n$均可证明直至序数$ψ_Ω(ω_n(S^++1))$的良基性。

2023-04-07math.LO

通过无穷推导的反思秩

Reflection ranks via infinitary derivations

本文通过无穷推导的消割方法，证明了$\u03a0^1_1$-可靠理论的反思秩等于其证明论序数，为证明论序数提供了新刻画。

2025-03-26math.LO

划分上的拉姆齐理论III：强Luzin集和划分关系

Ramsey theory over partitions III: Strongly Luzin sets and partition relations

Todorcevic从强Luzin集得到的可数序数对的最强染色类型等价于大小为$\aleph_1$的实数的非贫乏集的存在性.在另一个方向，它表明，存在的强Luzin集和连贯的Souslin树是相容的可数分割的可数序数对的存在，使没有着色是强的。这澄清了画廊的着色断言之间的相互作用可以追溯到一百年前的Luzin和Sierpinski。

2022-04-16math.LO

序分析的特征

Characterizations of ordinal analysis

序数分析是一种研究程序，其中将递归序数分配给公理理论。根据传统的看法，序分析衡量理论的力量。然而，随之而来的力量概念是什么？在本文中，我们提出了解决这个问题的序数分析的抽象特征。首先，我们的特点序数分析作为一个分区的$Σ^1_1$ -可定义和$Π^1_1$ -健全的理论，即分区，其中两个理论是等价的，如果他们有相同的证明理论序数。我们表明，没有等价关系$\equiv$是更好的顺序分析划分，如果：（1）$T\equiv U$时，$T$和$U$证明相同的$Π^1_1$句子;（2）$T\equiv T+U$的每个集合$U$的真正$Σ^1_1$的句子。事实上，没有这样的等价关系作出一个单一的区别，顺序分析划分不作出。其次，我们将序数分析刻画为算术可定义和$Π^1_1$ -合理理论上的一种排序，即如果$T$的证明论序数小于$U$的证明论序数，则$T< U$的排序。衡量理论强度的标准方法是一致性强度和包含$Π^0_1$定理。我们介绍类似物的这些概念- $Π^1_1$ -反射强度和包含的$Π^1_1$定理-在存在的神谕为$Σ^1_1$真理，并证明它们符合有序分析诱导。

2022-12-23math.LO

更高证明论的行为 I：情况 $Σ^1_2$

The behavior of higher proof theory I: Case $Σ^1_2$

Cornell University（康奈尔大学）

本文研究了 $Σ^1_2$-证明论序数与 $Σ^1_2$-稳健反射等级之间的关系，并证明了 $Σ^1_2$-后果比较、$Σ^1_2$-证明论序数比较和 $Σ^1_2$-反射比较之间的等价性。

2026-02-08math.LO

关于迭代一致性和无穷证明的注记

A Note on Iterated Consistency and Infinite Proofs

Schmerl和Beklemishev关于迭代反射的工作达到了两个目的：它引入了$Π^0_1$ -序数的重要概念，以一致性的超限迭代来表征理论的$Π^0_1$ -定理;它提供了一种创新的演算来计算一系列理论的$Π^0_1$ -序数。本说明表明，这些成果是独立的：我们读出了$Π^0_1$ -序数从舒特式序数分析通过无限的证明，在一个直接和透明的方式。

2018-07-16math.LO

平稳逻辑的强向下Löwenheim-Skolem定理，III --混合支撑迭代

Strong downward Löwenheim-Skolem theorems for stationary logics, III -- mixed support iteration

继续[Fuchino，Ottenbreit and Sakai[9，10]]和[Fuchino and Ottenbreit[11]]，我们进一步研究了与平稳逻辑的Löwenheim-Skolem定理有关的反射原理。本文主要分析了在一个超紧长度的混合支集迭代中，通过坍缩另一个超紧基数得到$(2^{\aleph_0})^+$的情形。我们证明了，除其他事项外，具有小特征的拓扑空间的不可度量化的下至$< 2^{\aleph_0}$的反射与[Fuchino，Ottenbreit和Sakai[9，10]]和[Fuchino和Ottenbreit[11]]中研究的反射性质无关。

2021-07-06math.LO

反射演算的树重写系统

A tree rewriting system for the Reflection Calculus

本文提出一个针对反射演算的树重写系统，用于模拟其推导，并通过规范化提高证明搜索效率，以辅助研究该逻辑的子公式性质和规则可容许性。

2024-07-18math.LO