Fixed point theorems and semantics: A folk tale (Q1166268): Difference between revisions

@@ Property / cites work @@
+A Theorem on Partially Ordered Sets, With Applications to Fixed Point Theorems
+Normal rank
@@ Property / cites work @@
+Q3917476
@@ Property / cites work: Q3917476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3899466
@@ Property / cites work: Q3899466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133082
@@ Property / cites work: Q4133082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / 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 @@
+Q5565097
@@ Property / cites work: Q5565097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133079
@@ Property / cites work: Q4133079 / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of ''Zorn's lemma''
@@ Property / cites work: The origin of ''Zorn's lemma'' / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive versions of Tarski's fixed point theorems
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+On monotonous mappings of complete lattices
@@ Property / cites work: On monotonous mappings of complete lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of optimal fixpoints
@@ Property / cites work: On the existence of optimal fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q4186267
@@ Property / cites work: Q4186267 / rank @@
+Normal rank
@@ Property / cites work @@
+On folk theorems
@@ Property / cites work: On folk theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168046
@@ Property / cites work: Q4168046 / rank @@
+Normal rank
@@ Property / cites work @@
+The method of successive approximations for functional equations
+Normal rank
@@ Property / cites work @@
+Q3206274
@@ Property / cites work: Q3206274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+The convergence of functions to fixedpoints of recursive definitions
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fixed point theorems of the mappings of partially ordered sets
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636307
@@ Property / cites work: Q5636307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Non‐Standard Models of Ordinal Arithmetics
@@ Property / cites work: Non‐Standard Models of Ordinal Arithmetics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank