Uniformly convex Banach spaces are reflexive—constructively

, &
Mathematical Logic Quarterly 59 (4-5):352-356 (2013)
  Copy   BIBTEX

Abstract

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201200093

Links

PhilArchive

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

Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Stable models and reflexive Banach spaces.José Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.
Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
Borel reducibility and Hölder(α) embeddability between Banach spaces.Longyun Ding - 2012 - Journal of Symbolic Logic 77 (1):224-244.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Borel complexity and computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
Uniform Continuity Properties of Preference Relations.Douglas S. Bridges - 2008 - Notre Dame Journal of Formal Logic 49 (1):97-106.
Semantics in Banach spaces.Sławomir Bugajski - 1983 - Studia Logica 42 (1):81 - 88.
Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability.Andrej Bauer & Alex Simpson - 2004 - Mathematical Logic Quarterly 50 (4‐5):351-369.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
Computing the complexity of the relation of isometry between separable Banach spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
Dependent Choices and Weak Compactness.Christian Delhommé & Marianne Morillon - 1999 - Notre Dame Journal of Formal Logic 40 (4):568-573.
The complexity of subdifferentiation and its inverse on convex functions in Banach spaces.Pierre Casevitz - 2002 - Annals of Pure and Applied Logic 118 (3):197-217.

Analytics

Added to PP
2013-12-01

Downloads
1,431 (#7,379)

6 months
188 (#14,058)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Maarten McKubre-Jordens
Canterbury University

Citations of this work

No citations found.

Add more citations

References found in this work

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Foundations of Constructive Analysis.Errett Bishop - 1967 - New York, NY, USA: Mcgraw-Hill.

Add more references