scientific article; zbMATH DE number 3609666

MaRDI QIDQ4175559zbMATH OpenFDO

Authors Peter Zahn

Publication date 1978

zbMATH Keywords

constructive mathematicsfunctional analysismeasuremetric spacenormed spaceoperator theorytopological space

Mathematics Subject Classification ID

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

Cited in

(2)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4175559)