The principle of pointfree continuity (Q3121524)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The principle of pointfree continuity |
scientific article |
Statements
18 March 2019
0 references
constructive mathematics
0 references
pointfree topology
0 references
continuity principle
0 references
spatiality
0 references
choice sequences
0 references
Baire space
0 references
real numbers
0 references
cs.LO
0 references
math.LO
0 references
