2 search results - page 1 / 1 » Locatedness and overt sublocales |
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 ...
100
Voted
JSYML
2007
15 years 8 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...