• česky
  • english

RIV/00216208:11320/10:10072517 - Pointfree aspects of the TD axiom of classical topology (2010)

Údaje o výsledku
Identifikační kódRIV/00216208:11320/10:10072517
Název v původním jazycePointfree aspects of the TD axiom of classical topology
DruhJ - Článek v odborném periodiku
Jazykeng - angličtina
OborBA - Obecná matematika
Rok uplatnění2010
Kód důvěrnosti údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Počet výskytů výsledku1
Tvůrci výsledku
Počet tvůrců celkem2
Počet domácích tvůrců1
TvůrcePultr Aleš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku)
TvůrceBanaschewski B. (státní příslušnost: CA - Kanada)
Údaje blíže specifikující výsledek
Popis v původním jazyceThe TD axiom of classical topology makes sense also in the point-free context. TD-spatiality does not coincide with the standard one. Also, relations with sobriety are investigated.
Klíčová slovatopology; classical; axiom; aspects; Pointfree
Kód UT ISI000284632000008
Název periodkaQuaestiones Mathematicae
ISSN1607-3606
Svazek periodika33
Číslo periodika v rámci uvedeného svazku3
Stát vydavatele periodikaZA - Jihoafrická republika
Počet stran výsledku17
Údaje o tomto záznamu o výsledku
PředkladatelUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
DodavatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Rok sběru2011
Systémové označení dodávky datRIV11-MSM-11320___/01:1
Datum dodání17.5.2011
SpecifikaceRIV/00216208:11320/10:10072517!RIV11-MSM-11320___
Kontrolní kód[68AF4E7562DE]
Jiný výskyt tohoto výsledku se v RIV nenachází
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
Projekt1M0545 - Institut Teoretické Informatiky (2005-2011, MSM/1M)
Výzkumný záměrMSM0021620838 - Moderní metody, struktury a systémy informatiky (2005-2011, MSM)