A constructive approach to nonstandard analysis

DOI10.1016/0168-0072(94)00030-7zbMath0830.03037OpenAlexW2127548353MaRDI QIDQ1892939

Erik Palmgren

Publication date: 3 July 1995

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

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00030-7

zbMATH Keywords

hyperrealsinfinitesimalsinternal set theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Related Items

Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ A sheaf-theoretic foundation for nonstandard analysis ⋮ Enlargements of functional algebras for the lambda calculus ⋮ Coalgebras in functional programming and type theory ⋮ A new approach to the \(Z\)-transform through infinite computation ⋮ Strongly internal sets and generalized smooth functions ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Minimal models of Heyting arithmetic ⋮ A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis ⋮ Non-standard analysis in dynamic geometry ⋮ Developments in Constructive Nonstandard Analysis

Cites Work

• Intuitionism. An introduction
• Eine Erweiterung der Infinitesimalrechnung
• Rings of smooth functions and their localizations. I
• Nonstandard analysis and constructivism?
• Constructivism in mathematics. An introduction. Volume II
• Ein Weg zur Nonstandard-Analysis
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Anwendungen unendlich kleiner Zahlen. II. Ein Zugang zur Operatorenrechnung von Mikusinski.
• Analysis without actual infinity
• Internal set theory: A new approach to nonstandard analysis
• A note on Mathematics of infinity
• Non-standard analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item