Nonstandard analysis and constructivism?

DOI10.1007/BF00370558zbMath0671.03041OpenAlexW1981964661MaRDI QIDQ1119637

Frank Wattenberg

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370558

zbMATH Keywords

nonstandard analysiscompact metric spaceIntermediate and Extreme Value TheoremsIntermediate Value Theoremnonstandard proofs of the constructive versions of thenonstandard proofs of the constructive versions of the Intermediate and Extreme Value Theorems

Mathematics Subject Classification ID

Structure of proofs (03F07) Other constructive mathematics (03F65) Nonstandard models in mathematics (03H05) Nonstandard topology (54J05) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (6)

Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ A constructive approach to nonstandard analysis ⋮ To be or not to be constructive, that is not the question ⋮ Toward a clarity of the extreme value theorem ⋮ Developments in Constructive Nonstandard Analysis ⋮ ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monads of Infinite Points and Finite Product Spaces
• Nonstandard topology and extensions of monad systems to infinite points

This page was built for publication: Nonstandard analysis and constructivism?