105 search results - page 1 / 21 » On the formal points of the formal topology of the binary tr... |
AML
2002
13 years 4 months ago
2002
Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
FODO
1989
Springer
13 years 8 months ago
1989
Springer
APAL
2006
13 years 5 months ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
SSD
1993
Springer
13 years 9 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
JSYML
2007
13 years 4 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...