248 search results - page 1 / 50 » Sublocales in formal topology |
JSYML
2007
13 years 10 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 11 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 10 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 10 months ago
2000
JSYML
2000
13 years 10 months ago
2000