scientific article; zbMATH DE number 1302057

zbMath0940.03069MaRDI QIDQ4247301

Jan Cederquist, Thierry Coquand, Sara Negri

Publication date: 5 October 1999

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

zbMATH Keywords

formal topologyconstructive analysispointfree approach to functional analysis

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (8)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ The intensional side of algebraic-topological representation theorems ⋮ Constructive metrisability in point-free topology. ⋮ Some points in formal topology. ⋮ Unnamed Item ⋮ The Hahn-Banach theorem by disjunction elimination

This page was built for publication: