第一个不动点无界
No bound for the first fixed point
摘要：
我们的目的是表明，这是不可能找到一个限制的权力的第一个不动点的aleph功能。
英文摘要：
Our aim is to show that it is impossible to find a bound for the power of the first fixed point of the aleph function.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
序列局部非常数函数的Brouwer不动点定理的构造性证明
Constructive proof of Brouwer's fixed point theorem for sequentially locally non-constant functions
利用近似不动点的存在性，构造性地证明了序列局部非常数函数的Brouwer不动点定理.并证明了对于一致连续且序列局部非常数函数的Brouwer不动点定理蕴含了单形的Sperner引理。由于近似不动点的存在性是由Sperner引理导出的，所以Brouwer的不动点定理等价于Sperner引理.
math.LO
$\mathbf{IL}$中子逻辑的不动点和Craig插值性质
The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$
研究了可解释逻辑$\mathbf{IL}$的子逻辑的不动点性质和Craig插值性质。我们提供了一个完整的描述，这些子逻辑有关的唯一性的不动点，不动点属性和克雷格插值性质。
math.LO
构造性数学中的角谷不动点定理
Kakutani's fixed point theorem in constructive mathematics
在本文中，我们考虑角谷推广的布劳威尔不动点定理的框架内主教的建设性数学。Kakutani的不动点定理在经典上等价于Brouwer的不动点定理。建设性的证明（近似）布劳威尔的不动点定理依赖于一个有限的组合参数，因此，我们必须限制我们的注意力一致连续的功能。由于Brouwer不动点定理是Kakutani不动点定理的一个特例，因此Kakutani不动点定理的任何构造性版本中的映射也必须满足某种形式的一致连续性。我们讨论的困难，在找到一个适当的概念一致连续性，给出一个建设性的版本角谷的不动点定理，这是经典的标准制定。我们还考虑反向建设性的数学角谷的不动点定理，并提供了建设性的证明角谷的第一个应用他的定理-一个推广冯诺依曼的极小极大定理。
math.LO
可定义amenable groups的一个不动点定理
A fixed-point theorem for definably amenable groups
我们证明了一个类似的不动点定理的情况下，可定义的顺从群体。
math.LO
Sacchetti可证性模态逻辑中有效构造的不动点
Effectively constructible fixed points in Sacchetti's modal logics of provability
本文给出了Sacchetti的模态逻辑${\bf K} + \Box(\Box^n p \to p) \to \Box p$（$n \geq 2$）可证性不动点定理的一个纯语法证明.从我们的证明中，得到了构造这些逻辑中不动点的有效方法。我们还证明了特定模态公式的简单不动点的存在性。
math.LO
谓词模态逻辑的不动点性质
Fixed-point properties for predicate modal logics
众所周知，可证性命题模态逻辑$\mathbf{GL}$满足de Jongh-Sambin不动点性质。另一方面，Montagna证明了谓词模态系统$\mathbf{QGL}$，它是$\mathbf{GL}$的自然变体，失去了不动点属性。本文讨论了谓词模态逻辑的不动点性质。首先，我们证明了$\mathbf{QGL}$的几个扩展，包括$\mathbf{NQGL}$不具有不动点性质。其次，我们证明了逻辑$\mathbf{QK} + \Box^{n+1} \bot$的不动点定理。由此得到了传递的有限高Kripke框架类$\mathsf{FH}$局部满足不动点性质.我们还证明了$\mathbf{NQGL}$的Craig插值性质的失效。最后给出了公式在$\mathbf{QGL}$中有不动点的一个充分条件。
math.LO
更多相关论文收起更多论文
关于Tarski的不动点定理
On Tarski's fixed point theorem
提出并研究了完全格上抽象归纳定义的概念。作为应用，我们得到了Tarski的不动点定理的一个构造性和预言性的形式.
math.LO
非不动点的pcf理论
The pcf theory of non fixed points
本文研究非阿列夫函数不动点的奇异基数上各种伪幂函数的取值问题，属于pcf理论范畴。
math.LO
集合论上的直觉不动点理论
Intuitionistic fixed point theories over set theories
本文证明了集合论T上的直觉不动点理论FiX^{i}（X）是T的保守扩张，如果T能操纵有限序列且具有完整的基础模式.
math.LO
序列至多有一个不动点的Brouwer不动点定理
Brouwer's fixed point theorem with sequentially at most one fixed point
给出了序列至多有一个不动点的Brouwer不动点定理的构造性证明，并将其应用于零和对策的极大极小定理.
cs.GTmath.LO
度量不动点理论中的超扩张
Hyper-extensions in metric fixed point theory
我们将非标准分析的现代公理系统应用于度量不动点理论。特别地，我们对非扩张映象给出了一个非标准迭代格式，并给出了巴拿赫空间直和中不动点问题的一个非标准方法。
math.FAmath.LO
有效拓扑中链-完全格的不动点定理的失效
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
在有效拓扑中，存在一个链完备分配格，它具有单调渐进的内映射，并且没有不动点。因此，链完全格的布尔巴基-维特定理和塔斯基不动点定理没有构造性的（拓扑有效的）证明。
math.CTmath.LO
负距离的部分度量空间与不动点定理
Partial metric spaces with negative distances and fixed point theorems
本文考虑O 'Neill意义下的部分度量空间.引入了强偏度量空间和柯西函数的概念。我们证明了这样的空间和函数的不动点定理，改进了马修斯的压缩映射定理在两个方面。首先，不动点的存在性现在适用于更广泛的一类函数和空间。其次，我们的定理也允许具有非零自距离的不动点。证明了轨道$r$ -压缩映射和轨道$ϕ_r$ -压缩映射的不动点定理.然后，我们应用我们的结果给其他一些已知的不动点定理的部分度量空间的背景下的替代证明。
math.GNmath.LO
