On the failure of fixed-point theorems for chain-complete lattices in the effective topos
DOI10.1016/J.ENTCS.2009.07.089zbMATH Open1338.03113OpenAlexW2569868626MaRDI QIDQ2805156FDOQ2805156
Authors: 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
Recommendations
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- A note on the Knaster-Tarski fixpoint theorem
- On the Bourbaki-Witt principle in toposes
- Constructive proof of fixed-point theorem for complete \(T\)-lattice
- Fixed point theorems on chain complete partially ordered sets
Other constructive mathematics (03F65) Complete lattices, completions (06B23) Topoi (18B25) Structure and representation theory of distributive lattices (06D05)
Cites Work
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- Realizability. An introduction to its categorical side
- The Discrete Objects in the Effective Topos
- Sur le théorème de Zorn
- Title not available (Why is that?)
- Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
- Title not available (Why is that?)
Cited In (7)
- 2010 North American Annual Meeting of the Association for Symbolic Logic
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- Nothing can be fixed
- On the Bourbaki-Witt principle in toposes
- Fixpoint objects need not be \(\Omega \)-discrete
- On fixed-point theorems in synthetic computability
- Constructive proof of fixed-point theorem for complete \(T\)-lattice
This page was built for publication: On the failure of fixed-point theorems for chain-complete lattices in the effective topos
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805156)
