论地形图中的布尔巴基-维特原则

@文章{BAUER2012OnTB，title={论拓扑中的布尔巴基-维特原则}，author={ANDREJ BAUER和Peter LeFanu Lumsdaine}，journal={剑桥哲学学会数学学报}，年份={2012}，体积={155}，页数={87-99}，网址={https://api.semanticscholar.org/CorpusID:12651590}}
  • 安德鲁·鲍尔P.Lumsdaine公司
  • 出版在里面数学论文集… 2012年1月1日
  • 数学、哲学
  • 剑桥哲学学会数学进展杂志
摘要Bourbaki–Witt原理指出，链完备偏序集上的任何渐进映射在每个点之上都有一个不动点。它可以经典地证明，但不能直观地证明。我们在直觉主义的背景下研究这一原理和相关原理。除此之外，我们还证明了当三分序数构成一个集合时，布尔贝吉-维特（Bourbaki–Witt）完全失败，但这并不意味着通过超限迭代总是可以找到不动点。与此同时，在模型方面，我们看到
剑桥出版社观点
[PDF]语义阅读器

10引文

用膨胀迭代构造初始代数

阿德梅克定理的一个新版本，适用于构造逻辑，在大小概念上使用“膨胀”迭代，从极限序数中抽象出它们的传递性、有向性和有根据的属性。

直觉命题演算中的定点消去法

本文给出了公式的最小不动点和最大不动点的公理化，以及计算等价于给定$\mu$-公式的不定点自由公式的算法。

经典类型理论中的超有限结构

得到了Zermelo（良序）、Hausdorff（最大链）和Bourbaki和Witt（不动点）定理的类型理论版本。

无迭代的初始代数

Trnková等人的初始代数定理在温和的假设下指出，内函子有一个初始代数，前提是它有一个预不动点。证据关键取决于…

在代数几何中使用拓扑的内部语言

任何方案都有其相关的小型和大型Zariski地形。这些拓扑支持一种内部数学语言，它与通常的数学形式语言非常相似，但是“局部的”…

一个无迭代的初始代数定理

初始代数定理的一个构造性证明，它避免了函子的超限迭代，并等价地作为等价条件获得了初始代数链的收敛性，总体上给出了原始证明的简化版本。

ESF研究网络计划INFTY“建构性集合理论基础：代数归纳法”交流访问拨款科学报告

1.与来自查尔默斯的Simon Huber（我自己访问斯德哥尔摩时他正在访问）一起，根据Palmgren的建议，我们研究了所谓的BourbakiWitt原则与Open的关系…

原子的标量和矢量微积分

研究了模态$\mu$-演算对原子集的扩展，模型检验在轨道有限结构上是可判定的，并且与奇偶对策保持一致。

固定点CCS的塔诱导和顶置技术

对Pous的基于同伴的共推证明技术进行了改进，并证明了相对相似性是一个同余，这是一个基本结果，暗示了互模拟在上下文中的可靠性。

构造型理论中的工程形式系统

本文提出了一种实用的方法，用于在基于感应塔结构的构造型理论中形式化形式系统的元理论，它是一种超限归纳的类型理论形式。

21参考文献

链完备格在有效拓扑中不动点定理的失效

直觉集和序数

说明了如何通过引入丰满度使后继词单调，从而增强及物性，并澄清了后继词和联合词的传统发展，使其直观；甚至三分法的（经典）证明也变得更简单了。

几何和逻辑中的滑轮：拓扑学的首次介绍

本文介绍了从滑轮研究发展而来的拓扑理论。滑轮在几何学中作为上同调系数和适用于各种函数的描述出现…

格理论不动点定理及其应用

1.格理论不动点定理。在本节中，我们公式化并证明了一个在任意完全格中成立的初等不动点定理。在下面的部分中，我们给出了各种…

递归函数理论与有效可计算性

本书的中心关注点是递归可枚举集的相关理论，特别是不可解度和图灵度的相关理论以及递归理论的推广。

dcpos上闭包算子的联合诱导原理

如果X和Y是集，A是X的子集，F是X→Y的映射集，那么我们将F（A）写成集{F（A）|F∈F和A∈A}。我们把{f}（A）写成f（A），把f{A}写成f（A）。设X是集合，F是…

高阶范畴逻辑导论

前言第一部分：范畴理论导论：第二部分。笛卡尔闭范畴与微积分：第三部分：类型理论与拓扑：第四部分：各种范畴中数值函数的表示…

代数

这是一本主要面向本科生的教科书。它的目的是提供一个广泛的知识基础，包括在…

关于构造集理论的注记

4集合与类的运算25 4.1附加符号。25 4.2类关系和功能。26 4.3部分…

数学档案馆

Archive der Mathematik（AdM）出版了数学各个领域的高质量研究论文，这些论文本质上不太技术化，面向广大读者。文章应…