On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos
From MaRDI portal
Publication:2805156
DOI10.1016/j.entcs.2009.07.089zbMath1338.03113OpenAlexW2569868626MaRDI QIDQ2805156
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
Complete lattices, completions (06B23) Topoi (18B25) Structure and representation theory of distributive lattices (06D05) Other constructive mathematics (03F65)
Related Items
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