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

DOI10.1016/J.ENTCS.2009.07.089MaRDI QIDQ2805156zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

effective toposchain-complete posetsconstructive fixed-point theorems

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3823769 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
• Realizability. An introduction to its categorical side
• Sur le théorème de Zorn
• The Discrete Objects in the Effective Topos

Cited in

(7)

• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• 2010 North American Annual Meeting of the Association for Symbolic Logic
• 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)