A sheaf-theoretic foundation for nonstandard analysis (Q1356978)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sheaf-theoretic foundation for nonstandard analysis |
scientific article |
Statements
A sheaf-theoretic foundation for nonstandard analysis (English)
0 references
28 January 1998
0 references
The author presents a new foundation for constructive nonstandard analysis. It is an extension of a sheaf-theoretic model of nonstandard arithmetic due to I. Moerdijk. The model is composed of representable sheaves over a site of filter bases. Certain well-known basic nonstandard characterizations for such concepts as uniform continuity and differentiability are obtained. Within this model, it is shown that the order type of the nonstandard natural numbers is the same as in the classical case.
0 references
constructive nonstandard analysis
0 references
extension of a sheaf-theoretic model
0 references
nonstandard arithmetic
0 references
uniform continuity
0 references
differentiability
0 references
order type of the nonstandard natural numbers
0 references
