248 search results - page 1 / 50 » Sublocales in formal topology |
105
Voted
JSYML
2007
15 years 29 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...
109
Voted
APAL
2010
15 years 1 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 ...
112
click to vote
JANCL
2002
15 years 23 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...
ENTCS
2000
15 years 27 days ago
2000
78
Voted
JSYML
2000
15 years 26 days ago
2000