A constructive model of uniform continuity (Q5300905)
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: A constructive model of uniform continuity |
scientific article; zbMATH DE number 6182524
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8294234275817871
0 references
0.8151739239692688
0 references
0.7792999744415283
0 references
0.7726069092750549
0 references
0.7634941935539246
0 references
