Homomorphisms of Order Sorted Algebras

Journal of Formalized Mathematics
Volume 14, 2002
University of Bialystok
Copyright (c) 2002 Association of Mizar Users

Homomorphisms of Order Sorted Algebras

Josef Urban: Charles University, Praha

This work was done during author's research visit in Bialystok, funded by the CALCULEMUS grant HPRN-CT-2000-00102.

MML Identifier: OSALG_3

The terminology and notation used in this paper have been introduced in the following articles [8] [11] [13] [14] [4] [5] [2] [1] [10] [7] [9] [3] [12] [6]

Contents (PDF format)

Acknowledgments

Thanks to Joseph Goguen, for providing me with his articles on osas, and Andrzej Trybulec, for suggesting and funding this work in Bialystok.

Bibliography

[1] Grzegorz Bancerek. K\"onig's theorem. Journal of Formalized Mathematics, 2, 1990.

[2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Journal of Formalized Mathematics, 1, 1989.

[3] Ewa Burakowska. Subalgebras of many sorted algebra. Lattice of subalgebras. Journal of Formalized Mathematics, 6, 1994.

[4] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.

[5] Czeslaw Bylinski. Functions from a set to a set. Journal of Formalized Mathematics, 1, 1989.

[6] Malgorzata Korolkiewicz. Homomorphisms of many sorted algebras. Journal of Formalized Mathematics, 6, 1994.

[7] Beata Madras. Product of family of universal algebras. Journal of Formalized Mathematics, 5, 1993.

[8] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.

[9] Andrzej Trybulec. Many sorted algebras. Journal of Formalized Mathematics, 6, 1994.

[10] Wojciech A. Trybulec. Partially ordered sets. Journal of Formalized Mathematics, 1, 1989.

[11] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.

[12] Josef Urban. Order sorted algebras. Journal of Formalized Mathematics, 14, 2002.

[13] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.

[14] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.

Received September 19, 2002

[ Download a postscript version, MML identifier index, Mizar home page]