Have a personal or library account? Click to login
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets Cover

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

Formalized Mathematics
Volume 18 (2010): Issue 1 (March 2010)
By: Kazuhisa Ishida and  Yasunari Shidama  
Open Access
|Jan 2011

References

  1. [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. Bounds in posets and relational substructures. Formalized Mathematics, 6(1):81-91, 1997.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek and Andrzej Trybulec. Miscellaneous facts about functions. Formalized Mathematics, 5(4):485-492, 1996.
    Search in Google Scholar
  4. [4] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  6. [6] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  7. [7] Adam Grabowski. On the category of posets. Formalized Mathematics, 5(4):501-505, 1996.
    Search in Google Scholar
  8. [8] Piotr Rudnicki and Andrzej Trybulec. Abian's fixed point theorem. Formalized Mathematics, 6(3):335-338, 1997.
    Search in Google Scholar
  9. [9] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. Formalized Mathematics, 1(2):387-393, 1990.
    Search in Google Scholar
  10. [10] Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.10.7551/mitpress/3054.001.0001
    Search in Google Scholar
  11. [11] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    Search in Google Scholar
  12. [12] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    Search in Google Scholar
  13. [13] Edmund Woronowicz and Anna Zalewska. Properties of binary relations. Formalized Mathematics, 1(1):85-89, 1990.
    Search in Google Scholar
  14. [14] Mariusz Żynel and Czesław Byliński. Properties of relational structures, posets, lattices and maps. Formalized Mathematics, 6(1):123-130, 1997.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-010-0006-x | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 47 - 51
Published on: Jan 5, 2011
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2011 Kazuhisa Ishida, Yasunari Shidama, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 18 (2010): Issue 1 (March 2010)