Developments in Constructive Nonstandard Analysis (Q4227854)
From MaRDI portal
scientific article; zbMATH DE number 1247608
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Developments in Constructive Nonstandard Analysis |
scientific article; zbMATH DE number 1247608 |
Statements
Developments in Constructive Nonstandard Analysis (English)
0 references
31 August 1999
0 references
Bishop's constructive analysis
0 references
sheaf-theory
0 references
nonstandard hulls
0 references
full transfer principle
0 references
strong idealisation principle
0 references
infinitesimal analysis
0 references
Heine-Borel theorem
0 references
Cauchy-Peano existence theorem
0 references
intermediate-value theorem
0 references
