Quasi-uniform space

DOI10.1515/forma-2016-0017zbMath1357.54024OpenAlexW2588661065MaRDI QIDQ516745

Roland Coghetto

Publication date: 15 March 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

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)

Uses Software

• Mizar

Cites Work

• Convergent filter bases
• Quasi-uniformization of topological spaces
• Mizar: State-of-the-art and Beyond
• Locally Uniform Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quasi-uniform space