On the failure of fixed-point theorems for chain-complete lattices in the effective topos

DOI10.1016/j.tcs.2011.12.005zbMath1251.03092arXiv0911.0068OpenAlexW2150946211MaRDI QIDQ418812

Andrej Bauer

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

zbMATH Keywords

fixed-point theoremsconstructive logicTarski's theoremeffective toposBourbaki-Witt theoremchain-complete posets

Mathematics Subject Classification ID

Topoi (18B25) Other constructive mathematics (03F65)

Related Items (2)

On the Bourbaki–Witt principle in toposes ⋮ Partially ordered objects in a topos

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