248 search results - page 1 / 50 » Sublocales in formal topology |
JSYML
2007
13 years 5 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...
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 ...
JANCL
2002
13 years 5 months ago
2002
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
ENTCS
2000
13 years 5 months ago
2000
JSYML
2000
13 years 5 months ago
2000