有效拓扑中链-完全格的不动点定理的失效
On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
摘要：
在有效拓扑中，存在一个链完备分配格，它具有单调渐进的内映射，并且没有不动点。因此，链完全格的布尔巴基-维特定理和塔斯基不动点定理没有构造性的（拓扑有效的）证明。
英文摘要：
In the effective topos there exists a chain-complete distributive lattice with a monotone and progressive endomap which does not have a fixed point. Consequently, the Bourbaki-Witt theorem and Tarski's fixed-point theorem for chain-complete lattices do not have constructive (topos-valid) proofs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
