Exhaustivity in Topological Riesz Spaces with the Principal Projection Property

Kimberly Muller

Displaying similar documents to “Exhaustivity in Topological Riesz Spaces with the Principal Projection Property”

Submeasures and Locally Solid Topologies on Riesz Spaces.

Iwo Labuda (1987)

Mathematische Zeitschrift

Similarity:

The Generalized Theory of Perfect Riesz Spaces I.

David F. Findley (1973)

Collectanea Mathematica

Similarity:

Remark On Fatou-Riesz's Theorem

Vojislav G. Avakumović (1955)

Publications de l'Institut Mathématique

Similarity:

On strong Riesz sets

Robert E. Dressler, Louis Pigno (1974)

Colloquium Mathematicae

Similarity:

Riesz spaces and the ultrafilter theorem, I

G. J. H. M. Buskes, A. C. M. Van Rooij (1992)

Compositio Mathematica

Similarity:

F. Riesz Theorem

Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2017)

Formalized Mathematics

Similarity:

In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also...