Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Sublocales in Formal Topology
Steven Vickers
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
13
Citations (Scopus)
318
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Sublocales in Formal Topology'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Sublocale
100%
Formal Topology
100%
Closed Sublocale
40%
Weakly Closed
20%
Bijection
20%
PowerPoint
20%
Boolean Algebra
10%
Covering Relation
10%
Boolean Complement Method
10%
Basis Elements
10%
Coframe
10%
Open Sublocale
10%
Mathematics
Bijection
100%
Boolean Algebras
50%
Indexed Set
50%
Basis Element
50%
Coframe
50%