Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Quasi-uniform space

From MaRDI portal
Publication:516745
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:516745&oldid=12398864"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 30 January 2024, at 07:25.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki