On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos (Q2805156): Difference between revisions

@@ 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 @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+The Discrete Objects in the Effective Topos
@@ Property / cites work: The Discrete Objects in the Effective Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Q5622402
@@ Property / cites work: Q5622402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671153
@@ Property / cites work: Q3671153 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+Normal rank
@@ Property / cites work @@
+Beweisstudien zum Satz von M. Zorn. Herrn Erhard. Schmidt zum 75. Geburtstag gewidmet
+Normal rank