Nonstandard analysis and constructivism?
From MaRDI portal
Publication:1119637
DOI10.1007/BF00370558zbMath0671.03041MaRDI QIDQ1119637
Publication date: 1989
Published in: Studia Logica (Search for Journal in Brave)
nonstandard analysis; compact metric space; Intermediate and Extreme Value Theorems; Intermediate Value Theorem; nonstandard proofs of the constructive versions of the; nonstandard proofs of the constructive versions of the Intermediate and Extreme Value Theorems
03F07: Structure of proofs
03F65: Other constructive mathematics
03H05: Nonstandard models in mathematics
54J05: Nonstandard topology
03H10: Other applications of nonstandard models (economics, physics, etc.)
Related Items
Insight in discrete geometry and computational content of a discrete model of the continuum, A constructive approach to nonstandard analysis, Developments in Constructive Nonstandard Analysis
Cites Work