Constructive versions of Tarski's fixed point theorems.
Patrick Cousot and Radhia Cousot
Source: Pacific J. Math. Volume 82, Number 1
(1979), 43-57.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.pjm/1102785059
Zentralblatt MATH identifier: 0413.06004
Mathematical Reviews number (MathSciNet): MR549831
References
[1] S. Abian and A. B. Brown, A theorem on partially ordered sets withapplications to fixed point theorems, Canad. J. Math., 13 (1961), 78-82.
Mathematical Reviews (MathSciNet): MR23:A817
Zentralblatt MATH: 0098.25502
[2] H. Amann, Fixed point equations and non-linear eigenvalue problems in ordered Banach spaces, SIAM Review 18, 4 (October 1976),620-709.
Mathematical Reviews (MathSciNet): MR54:3519
Zentralblatt MATH: 0345.47044
[3] G. Birkhoff, Lattice theory, Amer. Math. Soc. Colloquium Publications 25, 3rd ed., Providence, Rhode Island, (1976).
[4] A. Church, The calculi of lambda-conversion, Annals of Math. Studies, 6 (1951), Princeton University Press, Princeton, N.J.
Mathematical Reviews (MathSciNet): MR3:129b
Zentralblatt MATH: 67.0041.01
[5] P. Cousot and R. Cousot, Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Conf. Rec.of the Fourth ACM Symp. on Principles of Programming Languages, Los Angeles, Calif. (Jan. 1977), 238-252.
[6] R. DeMarr, Common fixed points for isotone mappings, Colloquium Math., 13 (1964), 45-48.
Mathematical Reviews (MathSciNet): MR32:5556
Zentralblatt MATH: 0144.25206
[7] V. Devide, On monotonous mappings of complete lattices, Fundamenta Mathematicae, LIII (1964), 147-154.
Mathematical Reviews (MathSciNet): MR28:2982
Zentralblatt MATH: 0117.26303
[8] P. Hitchcock and D. Park, Induction rules and proofs of termination,Proc. of a Symp. on Automata, Languages and Programming, North-Holland Pub.Co.,Amsterdam, (1973), 225-251.
Mathematical Reviews (MathSciNet): MR58:13854
Zentralblatt MATH: 0387.68011
[9] H. Hft and M. Hft, Some fixed point theorems for partially ordered sets, Canad. J. Math., 5 (1976), 992-997.
Mathematical Reviews (MathSciNet): MR54:7328
Zentralblatt MATH: 0321.06002
[10] S. C. Kleene, Introduction to metamathematics, North-Holland Pub.Co.,Amsterdam, (1952).
Zentralblatt MATH: 0047.00703
[11] I. I. Kolodner, On completeness of partially ordered sets and fixpoints theorems for isotone mappings, Amer. Math. Monthly, 75 (1968), 48-49.
Mathematical Reviews (MathSciNet): MR37:110
Zentralblatt MATH: 0155.03101
[12] Y. Ladegaillerie, Prefermeture sur un ensemble ordonne, RAIRO, 1 (Avril 1973), 35-43.
Mathematical Reviews (MathSciNet): MR51:294
Zentralblatt MATH: 0261.06004
[13] Z. Manna and A. Shamir, The convergence of functions to fixed points of recursive definitions, Theoretical Computer Science, 6 (1978), 109-141.
Mathematical Reviews (MathSciNet): MR57:14583
[14] G. Markowsky, Chain-complete posets and directed sets with applications, Algebra Univ., 6 (1976), 53-58, Birkhaser Verlag, Basel.
Mathematical Reviews (MathSciNet): MR53:2764
Zentralblatt MATH: 0332.06001
[15] A. Pasini, Some fixed point theorems of the mappings of partially ordered sets, Rend. Sem. Mat. Univ. Padova, 51 (1974), 167-177.
Mathematical Reviews (MathSciNet): MR52:2972
Zentralblatt MATH: 0339.54039
[16] A. Pelczar, On the invariant points of a transformation,Ann. Polon. Math., 11 (1961), 199-202.
Mathematical Reviews (MathSciNet): MR25:1114
Zentralblatt MATH: 0102.02603
[17] A. Pelczar, Remarks on commutings mappings in partially ordered spaces, Zeszyty Nauk. Univ. Jagiello., Prace Mat. Zeszyt, 15 (1971), 131-133.
Mathematical Reviews (MathSciNet): MR48:5929
Zentralblatt MATH: 0388.06003
[18] R. E. Smithson, Fixed points in partially ordered sets, Pacific J. Math., 1 (1973), 363-367.
Mathematical Reviews (MathSciNet): MR47:4871
Zentralblatt MATH: 0248.06002
[19] A. Tarski, A lattice theoretical fixpoint theorem and its applications, Pacific J. Math., 5 (1955), 285-310.
Mathematical Reviews (MathSciNet): MR17:574d
Zentralblatt MATH: 0064.26004
[20] L. E. Ward Jr., Completeness in semi-lattices, Canad. J. Math., 9 (1957), 578-582.
Mathematical Reviews (MathSciNet): MR19:938a
Zentralblatt MATH: 0079.26001
[21] M. Ward, The closure operators of a lattice, Annals Math., 43 (1942), 191-196.
Mathematical Reviews (MathSciNet): MR3:261e
Zentralblatt MATH: 0063.08179
[22] E. S. Wolk, Dedekind completeness and a fixed point theorem, Canad. J. Math., 9 (1957), 400-405.
Mathematical Reviews (MathSciNet): MR19:243d
Zentralblatt MATH: 0086.04302
[23] J. S. W. Wong, Common fixed points of commuting monotone mapping, Canad. J. Math., 19 (1967), 617-620.
Mathematical Reviews (MathSciNet): MR35:1513
Zentralblatt MATH: 0153.02702
Pacific Journal of Mathematics
