70 search results - page 1 / 14 » Compactness in locales and in formal topology |
APAL
2006
13 years 4 months 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...
APAL
2010
13 years 5 months 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 ...
JSYML
2007
13 years 4 months 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...
ACS
2005
13 years 4 months 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. ...
APAL
2006
13 years 4 months 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...