Uniform space

DOI10.1515/FORMA-2016-0018MaRDI QIDQ516746zbMATH 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-0018

zbMATH Keywords

partition topologypervin uniform spacepseudo-metric spacetopological groupuniform spaceuniformity

Mathematics Subject Classification ID

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

Recommendations

• Uniform spaces
• scientific article; zbMATH DE number 3201246
• scientific article; zbMATH DE number 3975850
• Quasi-uniform space
• Uniform spaces and measures
• Publication:4890847
• Constructing uniform spaces
• Uniformly rigid spaces
• scientific article; zbMATH DE number 791268
• Spaces Where all Continuity is Uniform

Cites work

• A topological approach to recognition
• scientific article; zbMATH DE number 1194721 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• Topologies of approximation spaces of rough set theory

Cited in

(15)

• Uniform spaces
• On uniformity induced by an Efremovic proximity
• On uniform topology and its applications
• Monadic Properties of Uniformities
• Spaces Where all Continuity is Uniform
• scientific article; zbMATH DE number 1301924 (Why is no real title available?)
• scientific article; zbMATH DE number 605220 (Why is no real title available?)
• scientific article; zbMATH DE number 2058199 (Why is no real title available?)
• Metrization of the Uniform Space and Effective Convergence
• scientific article; zbMATH DE number 791268 (Why is no real title available?)
• scientific article; zbMATH DE number 811567 (Why is no real title available?)
• Contextual uniformities
• Constructing uniform spaces
• Quasi-uniform space
• Pseudo-uniformities

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Uniform space

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