Quasi-uniform space

DOI10.1515/FORMA-2016-0017zbMATH Open1357.54024OpenAlexW2588661065MaRDI QIDQ516745FDOQ516745

Authors: 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

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

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)

Cites Work

• Mizar: state-of-the-art and beyond
• An introduction to quasi-uniform spaces
• Convergent filter bases
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasi-uniformization of topological spaces
• Title not available (Why is that?)
• Locally Uniform Spaces

Cited In (6)

• Some Classes of Topological Spaces with Unique Quasi-Uniformity
• Title not available (Why is that?)
• Quotients of uniform spaces
• Title not available (Why is that?)
• ``Continuity space = quasi-uniform space
• Uniform space

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)