248 search results - page 1 / 50 » Sublocales in formal topology |
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...
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 ...
107
click to vote
JANCL
2002
15 years 2 days 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...
76
Voted
ENTCS
2000
15 years 6 days ago
2000
75
Voted
JSYML
2000
15 years 5 days ago
2000