A Constructive Model of Uniform Continuity (Q5300905)
From MaRDI portal
scientific article; zbMATH DE number 6182524
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Constructive Model of Uniform Continuity |
scientific article; zbMATH DE number 6182524 |
Statements
A Constructive Model of Uniform Continuity (English)
0 references
28 June 2013
0 references
constructive mathematics
0 references
topological models
0 references
uniform continuity
0 references
fan functional
0 references
intuitionistic type theory
0 references
topos theory
0 references
sheaves
0 references
\(\mathrm{HA}^{\omega }\)
0 references
Gödel's system T
0 references
