Spaces of types in positive model theory

DOI10.1017/JSL.2018.84zbMATH Open1468.03035arXiv1711.05754OpenAlexW2768103053WikidataQ128546878 ScholiaQ128546878MaRDI QIDQ5222537FDOQ5222537

Authors: Levon Haykazyan 

Publication date: 6 April 2020

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

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.

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

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

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)

Cites Work

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

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)