A constructive approach to nonstandard analysis
From MaRDI portal
Publication:1892939
DOI10.1016/0168-0072(94)00030-7zbMath0830.03037OpenAlexW2127548353MaRDI QIDQ1892939
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
Other constructive mathematics (03F65) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)
Related Items (11)
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
This page was built for publication: A constructive approach to nonstandard analysis
