On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos

DOI10.1016/J.ENTCS.2009.07.089zbMath1338.03113OpenAlexW2569868626MaRDI QIDQ2805156

Andrej Bauer

Publication date: 10 May 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.089

zbMATH Keywords

effective toposchain-complete posetsconstructive fixed-point theorems

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topoi (18B25) Structure and representation theory of distributive lattices (06D05) Other constructive mathematics (03F65)

Related Items (1)

2010 North American Annual Meeting of the Association for Symbolic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• Sur le théorème de Zorn
• A lattice-theoretical fixpoint theorem and its applications
• The Discrete Objects in the Effective Topos
• Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet

This page was built for publication: On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos