Journal of Formalized Mathematics
Volume 5, 1993
University of Bialystok
Copyright (c) 1993
Association of Mizar Users
Properties of the Intervals of Real Numbers

Jozef Bialas

Lodz University
Summary.

The paper contains definitions and basic properties
of the intervals of real numbers.\par
The article includes the text being a continuation of
the paper [4].
Some theorems concerning basic properties of intervals
are proved.
The terminology and notation used in this paper have been
introduced in the following articles
[5]
[6]
[1]
[2]
[3]
Contents (PDF format)
Bibliography
 [1]
Grzegorz Bancerek.
The ordinal numbers.
Journal of Formalized Mathematics,
1, 1989.
 [2]
Jozef Bialas.
Infimum and supremum of the set of real numbers. Measure theory.
Journal of Formalized Mathematics,
2, 1990.
 [3]
Jozef Bialas.
Series of positive real numbers. Measure theory.
Journal of Formalized Mathematics,
2, 1990.
 [4]
Jozef Bialas.
Properties of Caratheodor's measure.
Journal of Formalized Mathematics,
4, 1992.
 [5]
Andrzej Trybulec.
Tarski Grothendieck set theory.
Journal of Formalized Mathematics,
Axiomatics, 1989.
 [6]
Zinaida Trybulec.
Properties of subsets.
Journal of Formalized Mathematics,
1, 1989.
Received January 12, 1993
[
Download a postscript version,
MML identifier index,
Mizar home page]