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

&
Annals of Pure and Applied Logic 31:123-144 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90066-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
Borel complexity and computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
Which set existence axioms are needed to prove the cauchy/peano theorem for ordinary differential equations?Stephen G. Simpson - 1984 - Journal of Symbolic Logic 49 (3):783-802.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Some consequences of Rado’s selection lemma.Marianne Morillon - 2012 - Archive for Mathematical Logic 51 (7-8):739-749.
Computing the complexity of the relation of isometry between separable Banach spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
Complex analysis in subsystems of second order arithmetic.Keita Yokoyama - 2007 - Archive for Mathematical Logic 46 (1):15-35.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
Full algebra of generalized functions and non-standard asymptotic analysis.Todor D. Todorov & Hans Vernaeve - 2008 - Logic and Analysis 1 (3-4):205-234.
The Morley rank of a Banach space.José Iovino - 1996 - Journal of Symbolic Logic 61 (3):928-941.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
Vitali's Theorem and WWKL.Douglas K. Brown, Mariagnese Giusto & Stephen G. Simpson - 2002 - Archive for Mathematical Logic 41 (2):191-206.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.

Analytics

Added to PP
2014-01-16

Downloads
35 (#446,573)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.
Measure theory and weak König's lemma.Xiaokang Yu & Stephen G. Simpson - 1990 - Archive for Mathematical Logic 30 (3):171-180.
Structuralism without structures.Hellman Geoffrey - 1996 - Philosophia Mathematica 4 (2):100-123.

View all 33 citations / Add more citations

References found in this work

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.

View all 7 references / Add more references