Semantics in Banach spaces

Studia Logica 42 (1):81-88 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01418761

Links

PhilArchive



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

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

Semantics in Banach spaces.Sławomir Bugajski - 1983 - Studia Logica 42 (1):81 - 88.
Computability of compact operators on computable Banach spaces with bases.Vasco Brattka & Ruth Dillhage - 2007 - Mathematical Logic Quarterly 53 (4‐5):345-364.
Uniformly convex Banach spaces are reflexive—constructively.Douglas S. Bridges, Hajime Ishihara & Maarten McKubre-Jordens - 2013 - Mathematical Logic Quarterly 59 (4-5):352-356.
Borel reducibility and Hölder(α) embeddability between Banach spaces.Longyun Ding - 2012 - Journal of Symbolic Logic 77 (1):224-244.
Computing the complexity of the relation of isometry between separable Banach spaces.Julien Melleray - 2007 - Mathematical Logic Quarterly 53 (2):128-131.
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.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
The Hahn-Banach Property and the Axiom of Choice.Juliette Dodu & Marianne Morillon - 1999 - Mathematical Logic Quarterly 45 (3):299-314.
Uniform domain representations of "Lp" -spaces.Petter K. Køber - 2007 - Mathematical Logic Quarterly 53 (2):180-205.
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces.Jeremy Avigad & Jason Rute - unknown
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.
Computability and continuity in computable metric partial algebras equipped with computability structures.Fredrik Dahlgren - 2004 - Mathematical Logic Quarterly 50 (4):486.
The Morley rank of a Banach space.José Iovino - 1996 - Journal of Symbolic Logic 61 (3):928-941.
Topological completeness of the provability logic GLP.Lev Beklemishev & David Gabelaia - 2013 - Annals of Pure and Applied Logic 164 (12):1201-1223.

Analytics

Added to PP
2019-02-10

Downloads
7 (#1,381,358)

6 months
4 (#775,606)

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

The geometry of the state space.Hans R. Fischer & G. T. Rüttimann - 1978 - In A. R. Marlow (ed.), Mathematical foundations of quantum theory. New York: Academic Press. pp. 153--176.

Add more references