70 search results - page 1 / 14 » Compactness in locales and in formal topology |
APAL
2006
15 years 14 days ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
105
Voted
APAL
2010
15 years 16 days ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
100
Voted
JSYML
2007
15 years 9 days ago
2007
The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
96
Voted
ACS
2005
15 years 10 days ago
2005
It is shown that the space X[0,1], of continuous maps [0, 1] X with the compact-open topology, is not locally compact for any space X having a nonconstant path of closed points. ...
93
Voted
APAL
2006
15 years 14 days ago
2006
This paper uses the locale theory approach to topology. Two descriptions are given of all locale limits, the first description using suplattice constructions and the second prefra...