Convergence in formal topology: a unifying notion (Q4907839)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Convergence in formal topology: a unifying notion |
scientific article; zbMATH DE number 6138718
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Convergence in formal topology: a unifying notion |
scientific article; zbMATH DE number 6138718 |
Statements
Convergence in formal topology: a unifying notion (English)
0 references
25 February 2013
0 references
formal topology
0 references
constructive mathematics
0 references
0 references
0.7809146046638489
0 references
0.7728843092918396
0 references
0.7686932682991028
0 references
0.7635154128074646
0 references
0.762536346912384
0 references