On the connection between nonstandard analysis and constructive analysis

MaRDI QIDQ4982685zbMATH OpenFDO

Authors Sam Sanders

Publication date 10 April 2015

zbMATH Keywords

\(\Omega\)-invarianceconstructive analysisnonstandard analysis

Mathematics Subject Classification ID

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

Recommendations

• A constructive approach to nonstandard analysis
• Developments in Constructive Nonstandard Analysis
• Publication:4893100
• scientific article; zbMATH DE number 1795224
• To be or not to be constructive, that is not the question

Cited in

(7)

• To be or not to be constructive, that is not the question
• A constructive approach to nonstandard analysis
• NON-STANDARD ANALYSIS AND THE MORGAN-SHALEN COMPACTIFICATION
• Developments in Constructive Nonstandard Analysis
• scientific article; zbMATH DE number 1795224 (Why is no real title available?)
• scientific article; zbMATH DE number 922579 (Why is no real title available?)
• Algorithm and proof as \(\Omega\)-invariance and transfer: a new model of computation in nonstandard analysis

This page was built for publication: On the connection between nonstandard analysis and constructive analysis

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