scientific article; zbMATH DE number 3609666

zbMath0393.03043MaRDI QIDQ4175559

Peter Zahn

Publication date: 1978

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

zbMATH Keywords

normed spacemetric spacemeasureconstructive mathematicsfunctional analysistopological spaceoperator theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology (54-01) Other constructive mathematics (03F65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to functional analysis (46-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to measure and integration (28-01)

Related Items

Type theories, toposes and constructive set theory: Predicative aspects of AST, Which set existence axioms are needed to prove the separable Hahn-Banach theorem?