Lebesgue's dominated convergence theorem in Bishop's style (Q651319)
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: Lebesgue's dominated convergence theorem in Bishop's style |
scientific article; zbMATH DE number 5987968
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lebesgue's dominated convergence theorem in Bishop's style |
scientific article; zbMATH DE number 5987968 |
Statements
Lebesgue's dominated convergence theorem in Bishop's style (English)
0 references
12 December 2011
0 references
constructive mathematics
0 references
ordered sets
0 references
uniform spaces
0 references
Lebesgue's dominated convergence theorem
0 references
uniform lattices
0 references
0 references
