Results 121 to 130 of about 513,304 (193)

The Hahn-Banach Theorem in Type Theory

open access: yes, 2008
We give the basic de nitions for pointfree functional analysis and present constructive proofs of the Alaoglu and Hahn-Banach theorems in the setting of formal ...
Thierry Coquand   +2 more
core  

SOME PROBLEMS IN FUNCTIONAL ANALYSIS INSPIRED BY HAHN–BANACH TYPE THEOREMS

open access: yes, 2014
As a cornerstone of functional analysis, Hahn–Banach theorem constitutes an indispensable tool of modern analysis where its impact extends beyond the frontiers of linear functional analysis into several other domains of mathematics, including complex ...
M. A. Sofi
core  

Some results on random smoothness. [PDF]

open access: yesJ Inequal Appl, 2017
Zeng X, Ding C.
europepmc   +1 more source

Home - About - Disclaimer - Privacy