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
06A06: Partial orders, general
03G30: Categorical logic, topoi
18B25: Topoi
03F55: Intuitionistic mathematics
Related Items
Unnamed Item, Tower Induction and Up-to Techniques for CCS with Fixed Points, Unnamed Item, Fixed-Point Elimination in the Intuitionistic Propositional Calculus, Transfinite Constructions in Classical Type Theory
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