Developments in Constructive Nonstandard Analysis

DOI10.2307/421031MaRDI QIDQ4227854zbMATH OpenOpenAlexFDO

Authors Erik Palmgren

Publication date 31 August 1999

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0403-toc.htm

zbMATH Keywords

Bishop's constructive analysisCauchy-Peano existence theoremfull transfer principleHeine-Borel theoreminfinitesimal analysisintermediate-value theoremnonstandard hullssheaf-theorystrong idealisation principle

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35) Constructive real analysis (26E40) Nonstandard measure theory (28E05)

Recommendations

• A constructive approach to nonstandard analysis
• Publication:4893100
• scientific article; zbMATH DE number 1795224
• A sheaf-theoretic foundation for nonstandard analysis
• On the connection between nonstandard analysis and constructive analysis

Cites work

• A constructive approach to nonstandard analysis
• A model for intuitionistic non-standard arithmetic
• A sheaf-theoretic foundation for nonstandard analysis
• Eine Erweiterung der Infinitesimalrechnung
• scientific article; zbMATH DE number 44113 (Why is no real title available?)
• scientific article; zbMATH DE number 48990 (Why is no real title available?)
• scientific article; zbMATH DE number 3525429 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Non standard analysis
• Nonstandard analysis and constructivism?
• Nonstandard analysis in practice
• Polynomials and linear transformations
• Radically Elementary Probability Theory. (AM-117)
• What Is Nonstandard Analysis?

Cited in

(31)

• Nonstandard analysis and constructivism?
• A sheaf-theoretic foundation for nonstandard analysis
• Alpha-theory: An elementary axiomatics for nonstandard analysis
• A footnote to ``The crisis in contemporary mathematics
• To be or not to be constructive, that is not the question
• Ultrapowers as sheaves on a category of ultrafilters
• Investigation of relaxation oscillations with the use of constructive nonstandard analysis: I
• Saturated models of intuitionistic theories
• A constructive approach to nonstandard analysis
• Foundational aspects of multiscale digitization
• Supremum, infimum and hyperlimits in the non-Archimedean ring of Colombeau generalized numbers
• Reverse formalism 16
• Hyperseries in the non-Archimedean ring of Colombeau generalized numbers
• A new approach to the \(Z\)-transform through infinite computation
• Reflections on mathematical economics in the algorithmic mode
• A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
• Weyl and Intuitionistic Infinitesimals
• A nonstandard proof of a lemma from constructive measure theory
• scientific article; zbMATH DE number 1795224 (Why is no real title available?)
• scientific article; zbMATH DE number 1795229 (Why is no real title available?)
• scientific article; zbMATH DE number 922579 (Why is no real title available?)
• A Constructive Look at Generalised Cauchy Reals
• On the connection between nonstandard analysis and constructive analysis
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
• Ultrasheaves and double negation
• Constructive nonstandard representations of generalized functions
• Real numbers in the topos of sheaves over the category of filters
• Nonstandard proof methods in toposes
• More infinity for a better finitism
• A functional interpretation for nonstandard arithmetic
• Insight in discrete geometry and computational content of a discrete model of the continuum

This page was built for publication: Developments in Constructive Nonstandard Analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227854)