Spaces of types in positive model theory

Journal of Symbolic Logic 84 (2):833-848 (2019)
  Copy   BIBTEX

Abstract

We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.84

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
Constructive set theoretic models of typed combinatory logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Order types of ordinals in models of set theory.John E. Hutchinson - 1976 - Journal of Symbolic Logic 41 (2):489-502.
An omitting types theorem for saturated structures.A. D. Greif & M. C. Laskowski - 1993 - Annals of Pure and Applied Logic 62 (2):113-118.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Compactness and independence in non first order frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
Stationarily ordered types and the number of countable models.Slavko Moconja & Predrag Tanović - 2020 - Annals of Pure and Applied Logic 171 (3):102765.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.

Analytics

Added to PP
2019-04-12

Downloads
21 (#173,985)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bilinear spaces over a fixed field are simple unstable.Mark Kamsma - 2023 - Annals of Pure and Applied Logic 174 (6):103268.
Type space functors and interpretations in positive logic.Mark Kamsma - 2023 - Archive for Mathematical Logic 62 (1):1-28.
On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.

Add more citations

References found in this work

Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Positive Model Theory and Amalgamations.Mohammed Belkasmi - 2014 - Notre Dame Journal of Formal Logic 55 (2):205-230.
Quelques effets pervers de la positivité.Bruno Poizat - 2010 - Annals of Pure and Applied Logic 161 (6):812-816.

Add more references