On Segre ’ s Product of Partial Line Spaces

@inproceedings{Naumowicz2004OnS,
  title={On Segre ’ s Product of Partial Line Spaces},
  author={Adam Naumowicz},
  year={2004}
}
1. PRELIMINARIES The following propositions are true: (1) For all functionsf , g such that∏ f = ∏g holds if f is non-empty, theng is non-empty. (2) For every set X holds 2⊆ X iff there exist setsx, y such thatx∈ X andy∈ X andx 6= y. (3) For every set X such that 2⊆ X and for every set x there exists a set y such thaty∈ X and x 6= y. (4) For every set X holds 2⊆ X iff X is non trivial. (5) For every set X holds 3⊆ X iff there exist setsx, y, z such thatx∈ X andy∈ X andz∈ X andx 6= y andx 6= z… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 23 references

The “ waybelow ” relation

  • Grzegorz Bancerek
  • Formalized Mathematics
  • 1997

The “way-below

  • Grzegorz Bancerek
  • Journal of Formalized Mathematics ,
  • 1996
1 Excerpt

Some basic properties of many sorted sets

  • Artur Korniłowicz
  • Journal of Formalized Mathematics ,
  • 1995
1 Excerpt

Boolean properties of sets

  • Edmund Woronowicz
  • 1990

Functions and their basic properties

  • Artur Korniłowicz
  • Formalized Mathematics
  • 1990