Journal of Formalized Mathematics
Volume 12, 2000
University of Bialystok
Copyright (c) 2000 Association of Mizar Users

On Segre's Product of Partial Line Spaces


Adam Naumowicz
University of Bialystok

Summary.

In this paper the concept of partial line spaces is presented. We also construct the Segre's product for a family of partial line spaces indexed by an arbitrary nonempty set.

MML Identifier: PENCIL_1

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

Contents (PDF format)

  1. Preliminaries
  2. Partial Line Spaces
  3. Segre's Product

Bibliography

[1] Grzegorz Bancerek. Cardinal numbers. Journal of Formalized Mathematics, 1, 1989.
[2] Grzegorz Bancerek. The fundamental properties of natural numbers. Journal of Formalized Mathematics, 1, 1989.
[3] Grzegorz Bancerek. K\"onig's theorem. Journal of Formalized Mathematics, 2, 1990.
[4] Grzegorz Bancerek. The ``way-below'' relation. Journal of Formalized Mathematics, 8, 1996.
[5] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Journal of Formalized Mathematics, 1, 1989.
[6] Jozef Bialas. Group and field definitions. Journal of Formalized Mathematics, 1, 1989.
[7] Ewa Burakowska. Subalgebras of many sorted algebra. Lattice of subalgebras. Journal of Formalized Mathematics, 6, 1994.
[8] Czeslaw Bylinski. Functions and their basic properties. Journal of Formalized Mathematics, 1, 1989.
[9] Czeslaw Bylinski. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989.
[10] Agata Darmochwal. Finite sets. Journal of Formalized Mathematics, 1, 1989.
[11] Artur Kornilowicz. Some basic properties of many sorted sets. Journal of Formalized Mathematics, 7, 1995.
[12] Beata Madras. Product of family of universal algebras. Journal of Formalized Mathematics, 5, 1993.
[13] Beata Padlewska. Families of sets. Journal of Formalized Mathematics, 1, 1989.
[14] Beata Padlewska and Agata Darmochwal. Topological spaces and continuous functions. Journal of Formalized Mathematics, 1, 1989.
[15] Piotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Journal of Formalized Mathematics, 11, 1999.
[16] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989.
[17] Andrzej Trybulec. Many-sorted sets. Journal of Formalized Mathematics, 5, 1993.
[18] Andrzej Trybulec. Many sorted algebras. Journal of Formalized Mathematics, 6, 1994.
[19] Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989.
[20] Edmund Woronowicz. Relations and their basic properties. Journal of Formalized Mathematics, 1, 1989.

Received May 29, 2000


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