The Hofmann-Mislove Theorem for general topological structures
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F04%3APU46316" target="_blank" >RIV/00216305:26220/04:PU46316 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The Hofmann-Mislove Theorem for general topological structures
Original language description
In this paper we prove a modification of Hofmann-Mislove theorem for a topological structure similar to the minusspaces of de Groot, in which the empty set ``need not be open". This will extend, in a slightly relaxed form, the validity of the classical Hofmann-Mislove theorem also to some of those spaces, whose underlying topology need not be (quasi-) sober.
Czech name
Hofmann-Mislovova věta pro obecné topologické struktury
Czech description
V této práci dokazujeme modifikovanou verzi Hofmann-Mislovovy věty pro topologickou strukturu analogickou minus-prostorům de Groota, v níž prázdná množina nemusí být otevřená. Tím rozšíříme platnost Hofmann-Mislovovy věty i na některé ne-soberické prostory.
Classification
Type
D - Article in proceedings
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F03%2F0933" target="_blank" >GA201/03/0933: Set-theoretical and categorial methods in topological and algebraic structures</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the Dagstuhl Seminar 04351 - Spatial Representation: Discrete vs. Continuous Computational Models
ISBN
—
ISSN
—
e-ISSN
—
Number of pages
9
Pages from-to
1-9
Publisher name
IBFI Schloss Dagstuhl
Place of publication
Schloss Dagstuhl, Deutschland
Event location
Dagstuhl
Event date
Aug 22, 2004
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—