A sheaf-theoretic foundation for nonstandard analysis

DOI10.1016/S0168-0072(96)00041-3zbMath0880.03032MaRDI QIDQ1356978

Erik Palmgren

Publication date: 28 January 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

differentiabilityuniform continuitynonstandard arithmeticconstructive nonstandard analysisextension of a sheaf-theoretic modelorder type of the nonstandard natural numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonstandard models of arithmetic (03H15) Nonstandard models in mathematics (03H05)

Related Items

To be or not to be constructive, that is not the question, Ultrapowers as sheaves on a category of ultrafilters, Constructive nonstandard representations of generalized functions, Real numbers in the topos of sheaves over the category of filters, Ultrasheaves and double negation, Filter quotients and non-presentable \((\infty,1)\)-toposes, Reverse formalism 16, Developments in Constructive Nonstandard Analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rings of smooth functions and their localizations. I
• Sheaves in geometry and logic: a first introduction to topos theory
• A model for intuitionistic non-standard arithmetic
• A constructive approach to nonstandard analysis
• Constructive Sheaf Semantics
• Minimal models of Heyting arithmetic
• Non-standard analysis