• 语料库ID:268537266

关于逆向数学中的序列定理

@进行中{Normann2024OnST，title＝{关于逆数学中的序列定理}，作者={达格·诺曼和萨姆·桑德斯}，年份＝{2024}，网址={https://api.semanticscholar.org/CorpusID:268537266}}
许多数学定理的形式是，对于某个问题，例如微分方程或等式中的多项式，存在一个解。然后，顺序版本指出，对于一系列问题，存在一系列解决方案。原始定理和序贯定理通常可以通过相同（或类似）的证明来证明，并且通常具有相同（或相似）的逻辑属性，尤其是如果一切都是用二阶算术语言表示的。在本文中，我们
[PDF]语义阅读器

询问这篇论文
贝塔
人工智能驱动

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

42参考文献

高等逆向数学

结果表明，在二阶基系统RCA_0的RCA^omega_0上，等价于Feferman非构造多算子的原理类形成了一个数学上丰富且非常健壮的类。

度量不动点理论与部分无效性

我们证明了Priess-Crampe和Ribenboim不动点定理在RCA0中是可证明的。此外，我们证明了Baire函数和Borel函数的Caristi不动点定理等价于…

弱和强算术系统中的Ekeland变分原理

我们在逆向数学的背景下分析了Ekeland的变分原理。我们发现，全变分原理等价于∏11-CA0\documentclass[12pt]{minimal}…

逆向数学中的Pincherle定理和可计算性理论

关系理论

逆向数学中两种情况下的Diracδ函数

Dirac Delta定理被证明与经典反向数学中的弱König引理等价，这进一步验证了WWKL0作为反向数学“大”系统之一的地位。

不可分解线性序与超算术分析

已证明，在RCA0上，INDEC由ACA0隐含并暗示，但当然，ACA0和ACA0+都不暗示它，因为Steel的标记树强制方法已得到证明。

线性排序

本报告中的定理可用于进一步发展以高阶MTL-Delta形式化的基于逻辑的模糊数学，即使此处以传统模糊数学的常用语法表示。