Constructive nonstandard representations of generalized functions
From MaRDI portal
Publication:5935891
DOI10.1016/S0019-3577(00)88579-1zbMath0981.46039MaRDI QIDQ5935891
Publication date: 28 June 2001
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
constructive sheaf-theoretical version of the nonstandard analysis; kernels; Schwartz distribution; space of nonstandard functions
03F60: Constructive and recursive analysis
03H05: Nonstandard models in mathematics
46F30: Generalized functions for nonlinear analysis (Rosinger, Colombeau, nonstandard, etc.)
46S20: Nonstandard functional analysis
46S30: Constructive functional analysis
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Eine Erweiterung der Infinitesimalrechnung
- A sheaf-theoretic foundation for nonstandard analysis
- A model for intuitionistic non-standard arithmetic
- Developments in Constructive Nonstandard Analysis
- A Nonstandard Delta Function in a Predicative Theory
- Non-standard analysis