On the Bourbaki–Witt principle in toposes
From MaRDI portal
Publication:2841501
DOI10.1017/S0305004113000108zbMath1286.03164arXiv1201.0340MaRDI QIDQ2841501
Andrej Bauer, Peter LeFanu Lumsdaine
Publication date: 26 July 2013
Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.0340
Partial orders, general (06A06) Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)
Related Items (5)
Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Unnamed Item ⋮ Transfinite Constructions in Classical Type Theory ⋮ Unnamed Item ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus
Cites Work
- On the failure of fixed-point theorems for chain-complete lattices in the effective topos
- Realizability. An introduction to its categorical side
- Sur le théorème de Zorn
- A lattice-theoretical fixpoint theorem and its applications
- Intuitionistic sets and ordinals
- Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
This page was built for publication: On the Bourbaki–Witt principle in toposes
