scientific article

zbMath0669.26010MaRDI QIDQ3822428

Dirk van Dalen

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

infinitesimalsKripke's semanticsconstructive continuumBrouwer's continuity theoremnonstandard model of \({\mathbb{R}}\)

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05) Intuitionistic mathematics (03F55) Nonstandard analysis (26E35)

Related Items (2)

Weyl and Intuitionistic Infinitesimals ⋮ The swap of integral and limit in constructive mathematics

This page was built for publication: