Zobrazeno 1 - 10
of 175
pro vyhledávání: '"Urysohn's Lemma"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tesnim Meryem Baran, Ayhan Erciyes
Publikováno v:
TURKISH JOURNAL OF MATHEMATICS. 45:843-855
*Erciyes, Ayhan ( Aksaray, Yazar )
In 1978, Schwarz [14] introduced the category ConF CO whose objects are constant filter convergence spaces and morphisms are continuous maps, and he showed that ConF CO is isomorphic to the category FILTER whos
In 1978, Schwarz [14] introduced the category ConF CO whose objects are constant filter convergence spaces and morphisms are continuous maps, and he showed that ConF CO is isomorphic to the category FILTER whos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cd7c8b6c8204229cb8d9e0e855bf8b7
https://doi.org/10.3906/mat-2012-101
https://doi.org/10.3906/mat-2012-101
Autor:
Roland Coghetto
Publikováno v:
Formalized Mathematics, Vol 28, Iss 3, Pp 227-237 (2020)
Summary Józef Białas and Yatsuka Nakamura has completely formalized a proof of Urysohn’s lemma in the article [4], in the context of a topological space defined via open sets. In the Mizar Mathematical Library (MML), the topological space is defi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fea493ba0c7916d30f445b405bea9a34
https://doaj.org/article/d12a88db18b74e679484856d32281a7e
https://doaj.org/article/d12a88db18b74e679484856d32281a7e
Autor:
Marcin Szyszkowski
Publikováno v:
Quaestiones Mathematicae; Vol 41, No 2 (2018); 165-171
We characterize sets A 0 , A 1 for which there is a DB 1 function f with [ f = 0] = A 0 and [ f = 1] = A 1 . This characterization is a conjunction of necessary conditions for Darboux and for Baire 1 functions. We also characterize sets A - , A + for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1cfd3c272528f8dc81ad9fdcdf926143
https://doi.org/10.2989/16073606.2017.1375043
https://doi.org/10.2989/16073606.2017.1375043
Publikováno v:
Fuzzy Sets and Systems. 370:63-78
The original Hutton interval I ( L ) can algebraically be identified with the tensor product I ⊗ L of the real unit interval I and a complete lattice L. Due to this, the tensor product M ⊗ L with M a completely distributive lattice is considered
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad4ab09a27d36f3e6bf1ba40e1f60aa7
https://doi.org/10.1016/j.fss.2018.07.002
https://doi.org/10.1016/j.fss.2018.07.002
Autor:
Paulina Szyszkowska
Publikováno v:
Quaestiones Mathematicae. 43:1405-1413
In this paper we characterize the pairs (A 0, A 1) and (A−, A +) of disjoint sets which can be separated by a bilaterally quasi-continuous function. Moreover, we characterize when two arbitrary sub...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::605a080535ecc531d9b3edf32c397c25
https://doi.org/10.2989/16073606.2019.1631228
https://doi.org/10.2989/16073606.2019.1631228
Autor:
Eleftherios Tachtsis
Publikováno v:
Proceedings of the American Mathematical Society. 147:4029-4038
We prove that it is relatively consistent with Z F \mathsf {ZF} (i.e., Zermelo–Fraenkel set theory without the Axiom of Choice ( A C \mathsf {AC} )) that the Axiom of Countable Choice ( A C ℵ 0 \mathsf {AC}^{\aleph _{0}} ) is true, but the Urysoh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f080bf55ed855de51bc3dc9d3ec8c2bc
https://doi.org/10.1090/proc/14590
https://doi.org/10.1090/proc/14590
Publikováno v:
Proceedings of the American Mathematical Society, 1994 Jun 01. 121(2), 429-439.
Externí odkaz:
https://www.jstor.org/stable/2160419