SPACES OF TYPES IN POSITIVE MODEL THEORY

DOI10.1017/jsl.2018.84zbMath1468.03035arXiv1711.05754OpenAlexW2768103053WikidataQ128546878 ScholiaQ128546878MaRDI QIDQ5222537

Levon Haykazyan

Publication date: 6 April 2020

Published in: The 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)

Related Items (4)

On duality and model theory for polyadic spaces ⋮ Kim-independence in positive logic ⋮ Bilinear spaces over a fixed field are simple unstable ⋮ Type space functors and interpretations in positive logic

Cites Work

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

This page was built for publication: SPACES OF TYPES IN POSITIVE MODEL THEORY