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

1986/01/01 by Douglas K. Brown, Stephen G. Simpson · 3 citations
Computer Science · #Advanced Algebra and Logic

paper · doi:10.1016/0168-0072(86)90066-7

crossref issued 1986/01/01 · crossref published 1986/01/01 · crossref published-print 1986/01/01 · openalex publication_date 1986/01/01 · crossref created 2003/05/19 · crossref deposited 2019/03/21 · openalex created_date 2025/10/10 · crossref indexed 2026/04/08 · openalex updated_date 2026/06/26

Citations

• Über das Unendliche

Cited by

• Partial realizations of Hilbert's program
• Ordered Groups: A Case Study in Reverse Mathematics
• Hahn–Banach theorem [wikipedia]