MIN 原理独立于 PHP 原理

Mykyta Narusevych

MIN 原理独立于 PHP 原理

逻辑 2026-05-18 v5 计算机科学中的逻辑

作者: Mykyta Narusevych

摘要

最小化原理 $\textsf{MIN}(\triangleleft)$ 研究于有界算术中，指严格线性序 $\triangleleft$ 对任意有限区间 $[0,\dots,n)$ 上的最小元素。我们证明，有界算术理论 $\textsf{T}^1_2(\triangleleft)$ augmented by 对所有 $\Delta^b_1(\triangleleft)$ 公式的鸽巢原理实例并不证明 $\textsf{MIN}(\triangleleft)$ 。

关键词

有界算术最小化原理鸽巢原理线性序有限区间

引用

@article{arxiv.2406.14930,
  title  = {An independence of the MIN principle from the PHP principle},
  author = {Mykyta Narusevych},
  journal= {arXiv preprint arXiv:2406.14930},
  year   = {2026}
}

MIN 原理独立于 PHP 原理

摘要

关键词

引用

相关论文