Spaces of types in positive model theory

DOI10.1017/JSL.2018.84MaRDI QIDQ5222537zbMATH OpenOpenAlexWikidataFDO

Authors Levon Haykazyan

Publication date 6 April 2020

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.05754

zbMATH Keywords

Stone dualityomitting typesatomic modelspositive model theory

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15)

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.

Recommendations

• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Positive model theory and amalgamations
• Fondements de la logique positive
• Compactness and Independence in Non First Order Frameworks
• Univers positifs

Cites work

• scientific article; zbMATH DE number 3908418 (Why is no real title available?)
• scientific article; zbMATH DE number 43764 (Why is no real title available?)
• scientific article; zbMATH DE number 3478869 (Why is no real title available?)
• scientific article; zbMATH DE number 3559563 (Why is no real title available?)
• A note on Baire spaces and continuous lattices
• Fondements de la logique positive
• Forking in the category of existentially closed structures
• Function spaces and adjoints.
• Large and small existentially closed structures
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Positive Jonsson theories
• Positive model theory and amalgamations
• Prime Ideal Structure in Commutative Rings
• Sheaves in geometry and logic: a first introduction to topos theory
• Some perverse effects of positivity
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(11)

• Almost existentially closed models in positive logic
• On duality and model theory for polyadic spaces
• Kim-independence in positive logic
• Types over c(k) spaces
• Positive model theory and amalgamations
• The space of strong types and an open map theorem
• The amalgamation property for automorphisms of ordered abelian groups
• Krull dimension of types in a class of first-order theories
• POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
• Bilinear spaces over a fixed field are simple unstable
• Type space functors and interpretations in positive logic

This page was built for publication: Spaces of types in positive model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222537)