scientific article

From MaRDI portal

Publication:3869344

Jump to:navigation, search

zbMath0432.03035MaRDI QIDQ3869344

A. S. Troelstra

Publication date: 1980

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

zbMATH Keywords

Church's thesis negative translation Dedekind reals constructive Banach spaces constructive order completion extended reals intuitionistic continuity principles

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

Generalized real numbers in constructive mathematics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3869344&oldid=17492278"