ON THE MAXIMALITY OF LOGICS WITH APPROXIMATIONS JOSÉ IOVINO
Abstract:
In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis. By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristics
Citations
| 159 | Heterogeneous logic – Barwise, Etchemendy - 1996 |
| 21 | On extensions of elementary logic – Lindström - 1969 |
| 19 | Nonstandard hulls of Banach spaces – Henson - 1976 |
| 12 | Neometric spaces – Fajardo, Keisler - 1996 |
| 12 | Existence theorems in probability theory – Fajardo, Keisler - 1996 |
| 11 | From discrete to continuous time – Keisler - 1991 |
| 10 | Almost” implies “near – Anderson - 1986 |
| 9 | Stable Banach spaces and Banach space structures, II: Forking and compact topologies – Iovino - 1999 |
| 7 | Neometric Forcing – Fajardo, Keisler |
| 7 | Banach space model theory – Heinrich, Henson - 1986 |
| 7 | When do two Banach spaces have isometrically isomorphic nonstandard hulls – Henson - 1975 |
| 2 | The Hanf number of the first order theory of Banach spaces – Shelah, Stern - 1978 |

