Predicativity and Regions-Based Continua (Q5214785)
From MaRDI portal
scientific article; zbMATH DE number 7163208
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicativity and Regions-Based Continua |
scientific article; zbMATH DE number 7163208 |
Statements
Predicativity and Regions-Based Continua (English)
0 references
5 February 2020
0 references
continuity
0 references
predicativity
0 references
point-free
0 references
constructive
0 references
infinity
0 references
