scientific article; zbMATH DE number 2019830
From MaRDI portal
Publication:4440525
zbMath1049.46059MaRDI QIDQ4440525
Publication date: 5 January 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Logical aspects of lattices and related structures (03G10) Categorical logic, topoi (03G30) Constructive functional analysis (46S30)
Related Items (4)
Locatedness and overt sublocales ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ A globalisation of the Gelfand duality theorem ⋮ Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies
This page was built for publication:
