Journal of Formalized Mathematics
Volume 13, 2001
University of Bialystok
Copyright (c) 2001 Association of Mizar Users

Yet Another Construction of Free Algebra


Grzegorz Bancerek
University of Bialystok, Shinshu University, Nagano
Artur Kornilowicz
University of Bialystok
This work has been partially supported by TYPES grant IST-1999-29001.

MML Identifier: MSAFREE3

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

Contents (PDF format)

Bibliography

[1] Grzegorz Bancerek. Introduction to trees. Journal of Formalized Mathematics, 1, 1989.
[2] Grzegorz Bancerek. K\"onig's theorem. Journal of Formalized Mathematics, 2, 1990.
[3] Grzegorz Bancerek. Cartesian product of functions. Journal of Formalized Mathematics, 3, 1991.
[4] Grzegorz Bancerek. K\"onig's Lemma. Journal of Formalized Mathematics, 3, 1991.
[5] Grzegorz Bancerek. Sets and functions of trees and joining operations of trees. Journal of Formalized Mathematics, 4, 1992.
[6] Grzegorz Bancerek. Joining of decorated trees. Journal of Formalized Mathematics, 5, 1993.
[7] Grzegorz Bancerek. Terms over many sorted universal algebra. Journal of Formalized Mathematics, 6, 1994.
[8] Grzegorz Bancerek. Translations, endomorphisms, and stable equational theories. Journal of Formalized Mathematics, 8, 1996.
[9] Grzegorz Bancerek. Algebra of morphisms. Journal of Formalized Mathematics, 9, 1997.
[10] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Journal of Formalized Mathematics, 1, 1989.
[11] Grzegorz Bancerek and Piotr Rudnicki. On defining functions on trees. Journal of Formalized Mathematics, 5, 1993.
[12] Ewa Burakowska. Subalgebras of many sorted algebra. Lattice of subalgebras. Journal of Formalized Mathematics, 6, 1994.
[13] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[14] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[15] Patricia L. Carlson and Grzegorz Bancerek. Context-free grammar --- part I. Journal of Formalized Mathematics, 4, 1992.
[16] Agata Darmochwal. Finite sets. Journal of Formalized Mathematics, 1, 1989.
[17] Artur Kornilowicz. Extensions of mappings on generator set. Journal of Formalized Mathematics, 7, 1995.
[18] Artur Kornilowicz. Equations in many sorted algebras. Journal of Formalized Mathematics, 9, 1997.
[19] Malgorzata Korolkiewicz. Homomorphisms of many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[20] Beata Madras. Product of family of universal algebras. Journal of Formalized Mathematics, 5, 1993.
[21] Yatsuka Nakamura, Piotr Rudnicki, Andrzej Trybulec, and Pauline N. Kawamoto. Preliminaries to circuits, I. Journal of Formalized Mathematics, 6, 1994.
[22] Andrzej Nedzusiak. $\sigma$-fields and probability. Journal of Formalized Mathematics, 1, 1989.
[23] Beata Perkowska. Free many sorted universal algebra. Journal of Formalized Mathematics, 6, 1994.
[24] Andrzej Trybulec. Domains and their Cartesian products. Journal of Formalized Mathematics, 1, 1989.
[25] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[26] Andrzej Trybulec. Tuples, projections and Cartesian products. Journal of Formalized Mathematics, 1, 1989.
[27] Andrzej Trybulec. Many-sorted sets. Journal of Formalized Mathematics, 5, 1993.
[28] Andrzej Trybulec. Many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[29] Andrzej Trybulec. Subsets of real numbers. Journal of Formalized Mathematics, Addenda, 2003.
[30] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[31] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[32] Edmund Woronowicz. Relations defined on sets. Journal of Formalized Mathematics, 1, 1989.

Received August 8, 2001


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