Nonstandard analysis and constructivism?
From MaRDI portal
Publication:1119637
DOI10.1007/BF00370558zbMath0671.03041OpenAlexW1981964661MaRDI QIDQ1119637
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370558
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
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
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