论有效拓扑斯中链完备格的不动点定理失效
逻辑
2012-01-05 v1 范畴论
摘要
在有效拓扑斯中，存在一个链完备分配格，其上有一个单调且递进的端映射，该映射没有不动点。因此，关于链完备格的Bourbaki-Witt定理和Tarski不动点定理没有构造性（拓扑斯有效）的证明。
引用
@article{arxiv.0911.0068,
title = {On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos},
author = {Andrej Bauer},
journal= {arXiv preprint arXiv:0911.0068},
year = {2012}
}