Searching for "Inductively generated formal topologies." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Inductively Generated Formal Topologies
- …Inductively generated formal topologies Thierry Coquand y , Giovanni Sambin z , Jan Smith y…
- Cited by 21 (4 self) – Add To MetaCart
-
Sublocales in formal topology
- … generated formal topology, the collection of inductively generated sublocales has coframe structure. Overt…
- Cited by 1 (1 self) – Add To MetaCart
-
Some constructive roads to Tychonoff
- …, this is an inductively generated formal topology. One sees many different definitions in formal topology. To give some…
- Cited by 1 (1 self) – Add To MetaCart
-
Some Points in Formal Topology
- … ....................... Domain theory as a branch of formal topology ................ Inductive generation of formal topologies…
- Cited by 15 (1 self) – Add To MetaCart
-
Localic completion of generalized metric spaces I
- … is compatible with the practice in formal topology [Sam87], in particular as inductively generated formal…
- Cited by 2 (0 self) – Add To MetaCart
-
Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization
- … The Convexity Quantale and the Connection Predicate 28 36 Inductive Generation of Formal Topologies with a…
- Add To MetaCart
Showing 1 through 6.
