On the failure of fixed-point theorems for chain-complete lattices in the effective topos
From MaRDI portal
Publication:418812
DOI10.1016/j.tcs.2011.12.005zbMath1251.03092arXiv0911.0068OpenAlexW2150946211MaRDI QIDQ418812
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0911.0068
fixed-point theoremsconstructive logicTarski's theoremeffective toposBourbaki-Witt theoremchain-complete posets
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Realizability. An introduction to its categorical side
- The cyclicity of a hypergraph
- 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