Skip to main content
Have a personal or library account? Click to login
A Case Study of Transporting Urysohn’s Lemma from Topology via Open Sets into Topology via Neighborhoods Cover

A Case Study of Transporting Urysohn’s Lemma from Topology via Open Sets into Topology via Neighborhoods

Formalized Mathematics
Volume 28 (2020): Issue 3 (October 2020)
By: Roland Coghetto  
Open Access
|Apr 2021
Authors

Authors

Roland Coghetto

La Louvière, Belgium
DOI: https://doi.org/10.2478/forma-2020-0020 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 227 - 237
Accepted on: Sep 25, 2020
Published on: Apr 6, 2021
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
filter,
topology via neighborhoods,
transfer principle,
transport of structure,
align
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2021 Roland Coghetto, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 28 (2020): Issue 3 (October 2020)
Next article