Quasi-uniform space

DOI10.1515/FORMA-2016-0017MaRDI QIDQ516745zbMATH OpenOpenAlexFDO

Authors Roland Coghetto

Publication date 15 March 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.1515/forma-2016-0017

zbMATH Keywords

quasi-uniformityquasi-uniform spaceCsaszar-Pervin quasi-uniformityPervin space

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Uniform structures and generalizations (54E15)

Recommendations

• Uniform space
• ``Continuity space = quasi-uniform space
• scientific article; zbMATH DE number 4078227
• scientific article; zbMATH DE number 21223
• scientific article; zbMATH DE number 2079147

Cites work

• scientific article; zbMATH DE number 987572 (Why is no real title available?)
• scientific article; zbMATH DE number 1194721 (Why is no real title available?)
• scientific article; zbMATH DE number 735406 (Why is no real title available?)
• An introduction to quasi-uniform spaces
• Convergent filter bases
• Locally Uniform Spaces
• Mizar: state-of-the-art and beyond
• Quasi-uniformization of topological spaces

Cited in

(6)

• Some Classes of Topological Spaces with Unique Quasi-Uniformity
• scientific article; zbMATH DE number 569242 (Why is no real title available?)
• Quotients of uniform spaces
• scientific article; zbMATH DE number 1539334 (Why is no real title available?)
• ``Continuity space = quasi-uniform space
• Uniform space

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Quasi-uniform space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516745)