On the Bourbaki–Witt principle in toposes (Q2841501): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0340
@@ Property / arXiv ID: 1201.0340 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur le théorème de Zorn
@@ Property / cites work: Sur le théorème de Zorn / rank @@
+Normal rank
@@ Property / cites work @@
+On the failure of fixed-point theorems for chain-complete lattices in the effective topos
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Intuitionistic sets and ordinals
@@ Property / cites work: Intuitionistic sets and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
+Normal rank