Journal of Formalized Mathematics
Volume 8, 1996
University of Bialystok
Copyright (c) 1996 Association of Mizar Users

On the Trivial Many Sorted Algebras and Many Sorted Congruences


Artur Kornilowicz
Institute of Mathematics, Warsaw University, Bialystok

Summary.

This paper contains properties of many sorted functions between two many sorted sets. Other theorems describe trivial many sorted algebras. In the last section there are theorems about many sorted congruences, which are defined on many sorted algebras. I have also proved facts about natural epimorphism.

MML Identifier: MSUALG_9

The terminology and notation used in this paper have been introduced in the following articles [26] [8] [31] [30] [32] [34] [23] [33] [6] [25] [7] [3] [9] [27] [10] [1] [2] [4] [28] [29] [5] [11] [17] [24] [19] [21] [22] [18] [13] [14] [12] [16] [15] [20]

Contents (PDF format)

  1. Preliminaries
  2. On the Trivial Many Sorted Algebras
  3. On the Many Sorted Congruences

Bibliography

[1] Grzegorz Bancerek. K\"onig's theorem. Journal of Formalized Mathematics, 2, 1990.
[2] Grzegorz Bancerek. Joining of decorated trees. Journal of Formalized Mathematics, 5, 1993.
[3] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Journal of Formalized Mathematics, 1, 1989.
[4] Grzegorz Bancerek and Piotr Rudnicki. On defining functions on trees. Journal of Formalized Mathematics, 5, 1993.
[5] Ewa Burakowska. Subalgebras of many sorted algebra. Lattice of subalgebras. Journal of Formalized Mathematics, 6, 1994.
[6] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[7] Czeslaw Bylinski. Functions from a set to a set. Journal of Formalized Mathematics, 1, 1989.
[8] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[9] Patricia L. Carlson and Grzegorz Bancerek. Context-free grammar --- part I. Journal of Formalized Mathematics, 4, 1992.
[10] Agata Darmochwal. Finite sets. Journal of Formalized Mathematics, 1, 1989.
[11] Mariusz Giero. More on products of many sorted algebras. Journal of Formalized Mathematics, 8, 1996.
[12] Artur Kornilowicz. Certain facts about families of subsets of many sorted sets. Journal of Formalized Mathematics, 7, 1995.
[13] Artur Kornilowicz. Extensions of mappings on generator set. Journal of Formalized Mathematics, 7, 1995.
[14] Artur Kornilowicz. Some basic properties of many sorted sets. Journal of Formalized Mathematics, 7, 1995.
[15] Artur Kornilowicz. On the closure operator and the closure system of many sorted sets. Journal of Formalized Mathematics, 8, 1996.
[16] Artur Kornilowicz. On the many sorted closure operator and the many sorted closure system. Journal of Formalized Mathematics, 8, 1996.
[17] Malgorzata Korolkiewicz. Homomorphisms of many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[18] Malgorzata Korolkiewicz. Many sorted quotient algebra. Journal of Formalized Mathematics, 6, 1994.
[19] Beata Madras. Products of many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[20] Robert Milewski. Lattice of congruences in many sorted algebra. Journal of Formalized Mathematics, 8, 1996.
[21] Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto. Preliminaries to circuits, I. Journal of Formalized Mathematics, 6, 1994.
[22] Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto. Preliminaries to circuits, II. Journal of Formalized Mathematics, 6, 1994.
[23] Beata Padlewska. Families of sets. Journal of Formalized Mathematics, 1, 1989.
[24] Beata Perkowska. Free many sorted universal algebra. Journal of Formalized Mathematics, 6, 1994.
[25] Konrad Raczkowski and Pawel Sadowski. Equivalence relations and classes of abstraction. Journal of Formalized Mathematics, 1, 1989.
[26] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[27] Andrzej Trybulec. Tuples, projections and Cartesian products. Journal of Formalized Mathematics, 1, 1989.
[28] Andrzej Trybulec. Many-sorted sets. Journal of Formalized Mathematics, 5, 1993.
[29] Andrzej Trybulec. Many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[30] Andrzej Trybulec. Subsets of real numbers. Journal of Formalized Mathematics, Addenda, 2003.
[31] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[32] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[33] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.
[34] Edmund Woronowicz and Anna Zalewska. Properties of binary relations. Journal of Formalized Mathematics, 1, 1989.

Received June 11, 1996


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