Positive model theory and compact abstract theories

Journal of Mathematical Logic 3 (01):85-118 (2003)
  Copy   BIBTEX

Abstract

We develop positive model theory, which is a non first order analogue of classical model theory where compactness is kept at the expense of negation. The analogue of a first order theory in this framework is a compact abstract theory: several equivalent yet conceptually different presentations of this notion are given. We prove in particular that Banach and Hilbert spaces are compact abstract theories, and in fact very well-behaved as such.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
Hereditary G-compactness.Tomasz Rzepecki - 2021 - Archive for Mathematical Logic 60 (7):837-856.
Lovely pairs of models: the non first order case.Itaï Ben Yaacov - 2004 - Journal of Symbolic Logic 69 (3):641-662.
Coding true arithmetic in the Medvedev and Muchnik degrees.Paul Shafer - 2011 - Journal of Symbolic Logic 76 (1):267 - 288.
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Spaces of types in positive model theory.Levon Haykazyan - 2019 - Journal of Symbolic Logic 84 (2):833-848.
The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.
Boolean Universes above Boolean Models.Friedrich Wehrung - 1994 - Journal of Symbolic Logic 59 (4):1219-1250.

Analytics

Added to PP
2012-09-02

Downloads
91 (#192,208)

6 months
15 (#185,373)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.
Lovely pairs of models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.

View all 43 citations / Add more citations

References found in this work

Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
Simplicity in compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.

Add more references