Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Douglas K. Brown Stephen G. Simpson

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

probability distribution
input data
real time
real world
artificial intelligence
sufficient conditions
hierarchical structure