Otwarty dostęp

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

Roland Coghetto

Coghetto, Roland

06 kwi 2021

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

Formalized Mathematics

Tom 28 (2020): Zeszyt 3 (Październik 2020)

O artykule

Poprzedni artykuł

Następny artykuł

Zacytuj

Udostępnij

Pobierz okładkę

Data publikacji: 06 kwi 2021

Zakres stron: 227 - 237

Przyjęty: 25 wrz 2020

DOI: https://doi.org/10.2478/forma-2020-0020

Słowa kluczowe
filter, topology via neighborhoods, transfer principle, transport of structure, align

© 2020 Roland Coghetto, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Język:: Angielski

Częstotliwość wydawania:: 1 razy w roku
Dziedziny czasopisma:: Informatyka, Informatyka, inne, Matematyka, Matematyka ogólna

Kanał RSS czasopisma