Aspects of general topology in constructive set theory (Q2575763)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 2235844
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Aspects of general topology in constructive set theory |
scientific article; zbMATH DE number 2235844 |
Statements
Aspects of general topology in constructive set theory (English)
0 references
6 December 2005
0 references
General topology
0 references
Formal topology
0 references
Locale
0 references
Constructive mathematics
0 references
Constructive set theory
0 references
0.7899991869926453
0 references
0.7874318361282349
0 references
0.7803505063056946
0 references
