Stable Models and Reflexive Banach Spaces

Journal of Symbolic Logic 64 (4):1595-1600 (1999)
  Copy   BIBTEX

Abstract

We show that a formula $\varphi$ is stable if and only if $\varphi$ is the pairing map on the unit ball of E x E$^*$, where E is a reflexive Banach space. The result remains true if the formula $\varphi$ is replaced by a set of formulas $p$.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Stable models and reflexive Banach spaces.José Iovino - 1999 - Journal of Symbolic Logic 64 (4):1595-1600.
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.
The Morley rank of a Banach space.José Iovino - 1996 - Journal of Symbolic Logic 61 (3):928-941.
The Morley Rank of a Banach Space.Jose Iovino - 1996 - Journal of Symbolic Logic 61 (2):928-941.
Neocompact quantifier elimination in structures based on Banach spaces.Stefano Baratella & Siu-Ah Ng - 2001 - Annals of Pure and Applied Logic 111 (1-2):115-143.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Borel reducibility and Hölder(α) embeddability between Banach spaces.Longyun Ding - 2012 - Journal of Symbolic Logic 77 (1):224-244.
A nonstandard density theorem for weak topologies on Banach and Bochner spaces.Laurent Vanderputten - 2003 - Mathematical Logic Quarterly 49 (3):277-283.
Semantics in Banach spaces.Sławomir Bugajski - 1983 - Studia Logica 42 (1):81 - 88.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Computing the complexity of the relation of isometry between separable Banach spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
Definable Types Over Banach Spaces.José Iovino - 2005 - Notre Dame Journal of Formal Logic 46 (1):19-50.
Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Set theoretical aspects of the Banach space l∞/c0.Magdalena Grzech - 2004 - Annals of Pure and Applied Logic 126 (1-3):301-308.
Safe formulas in the general theory of stable models (preliminary report).Vladimir Lifschitz - unknown

Analytics

Added to PP
2017-02-21

Downloads
6 (#1,454,899)

6 months
5 (#625,697)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references