Kleene chain completeness and fixedpoint properties (Q1052104): Difference between revisions

@@ Property / cites work @@
+A characterization of complete lattices
@@ Property / cites work: A characterization of complete lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Three counterexamples concerning ω-chain completeness and fixed point properties
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664454
@@ Property / cites work: Q3664454 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank