Constructive nonstandard representations of generalized functions

DOI10.1016/S0019-3577(00)88579-1zbMath0981.46039MaRDI QIDQ5935891

Erik Palmgren

Publication date: 28 June 2001

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

zbMATH Keywords

constructive sheaf-theoretical version of the nonstandard analysiskernelsSchwartz distributionspace of nonstandard functions

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05) Generalized functions for nonlinear analysis (Rosinger, Colombeau, nonstandard, etc.) (46F30) Nonstandard functional analysis (46S20) Constructive functional analysis (46S30)

Related Items (3)

Real numbers in the topos of sheaves over the category of filters ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ Reverse formalism 16

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

This page was built for publication: Constructive nonstandard representations of generalized functions