Have a personal or library account? Click to login
Definition of Flat Poset and Existence Theorems for Recursive Call Cover

Definition of Flat Poset and Existence Theorems for Recursive Call

Formalized Mathematics
Volume 22 (2014): Issue 1 (March 2014)
By: Kazuhisa Ishida,  Yasunari Shidama and  Adam Grabowski  
Open Access
|Mar 2014

References

  1. [1] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. Complete lattices. Formalized Mathematics, 2(5):719-725, 1991.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.
    Search in Google Scholar
  4. [4] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
    Search in Google Scholar
  5. [5] Grzegorz Bancerek. Bounds in posets and relational substructures. Formalized Mathematics, 6(1):81-91, 1997.
    Search in Google Scholar
  6. [6] Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.
    Search in Google Scholar
  7. [7] Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
    Search in Google Scholar
  8. [8] Czesław Bylinski. Basic functions and operations on functions. Formalized Mathematics, 1(1):245-254, 1990.
    Search in Google Scholar
  9. [9] Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
    Search in Google Scholar
  10. [10] Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    Search in Google Scholar
  11. [11] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.
    Search in Google Scholar
  12. [12] B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 2002.10.1017/CBO9780511809088
    Search in Google Scholar
  13. [13] Marek Dudzicz. Representation theorem for finite distributive lattices. Formalized Mathematics, 9(2):261-264, 2001.
    Search in Google Scholar
  14. [14] Adam Grabowski. On the category of posets. Formalized Mathematics, 5(4):501-505, 1996.
    Search in Google Scholar
  15. [15] Kazuhisa Ishida and Yasunari Shidama. Fixpoint theorem for continuous functions on chain-complete posets. Formalized Mathematics, 18(1):47-51, 2010. doi:10.2478/v10037-010-0006-x.10.2478/v10037-010-0006-x
    Search in Google Scholar
  16. [16] Artur Korniłowicz. Cartesian products of relations and relational structures. Formalized Mathematics, 6(1):145-152, 1997.
    Search in Google Scholar
  17. [17] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): 115-122, 1990.
    Search in Google Scholar
  18. [18] Andrzej Trybulec. Tuples, projections and Cartesian products. Formalized Mathematics, 1(1):97-105, 1990.
    Search in Google Scholar
  19. [19] Wojciech A. Trybulec and Grzegorz Bancerek. Kuratowski - Zorn lemma. Formalized Mathematics, 1(2):387-393, 1990.
    Search in Google Scholar
  20. [20] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    Search in Google Scholar
  21. [21] Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.10.7551/mitpress/3054.001.0001
    Search in Google Scholar
  22. [22] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.
    Search in Google Scholar
  23. [23] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
    Search in Google Scholar
  24. [24] Mariusz Zynel and Czesław Bylinski. 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/forma-2014-0001 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 1 - 10
Published on: Mar 30, 2014
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
flat posets,
recursive calls for posets,
flattening operator
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2014 Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Volume 22 (2014): Issue 1 (March 2014)Next article