- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Uniformly convex Banach spaces are reflexive—constructively
Mathematical Logic Quarterly 59 (4-5):352-356 (2013)
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.Author's Profile
My notes
Similar books and articles
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces.Jeremy Avigad & Jason Rute - unknown
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
The Banach‐Steinhaus theorem for the space ????(ℝ) in constructive analysis.Satoru Yoshida - 2003 - Mathematical Logic Quarterly 49 (3):305-315.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
The topological complexity of a natural class of norms on Banach spaces.Gilles Godefroy, Mohammed Yahdi & Robert Kaufman - 2001 - Annals of Pure and Applied Logic 111 (1-2):3-13.
Stable Models and Reflexive Banach Spaces.Jose Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.
Three-space type Hahn-Banach properties.Marianne Morillon - 2017 - Mathematical Logic Quarterly 63 (5):320-333.
Stable models and reflexive Banach spaces.José Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.
Dependent Choices and Weak Compactness.Christian Delhommé & Marianne Morillon - 1999 - Notre Dame Journal of Formal Logic 40 (4):568-573.
Analytics
Added to PP
2013-12-01
Downloads
1,502 (#7,447)
6 months
215 (#13,032)
2013-12-01
Downloads
1,502 (#7,447)
6 months
215 (#13,032)
Historical graph of downloads
Author's Profile
References found in this work
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-kftwx uwo