Developments in Constructive Nonstandard Analysis (Q4227854)
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: Developments in Constructive Nonstandard Analysis |
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
