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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2009.07.089
+Normal rank
@@ Property / OpenAlex ID @@
+W2569868626
@@ Property / OpenAlex ID: W2569868626 / 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 @@
+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