Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1340

Preprint Number 1340

Previous Next Preprint server

1340. Levon Haykazyan
Spaces of Types in Positive Model Theory

Submission date: 15 November 2017


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 first-order model theory. We use this to generalise some classical results on countable models from first-order model theory to positive model theory.

Mathematics Subject Classification:

Keywords and phrases: positive logic, space of types

Full text arXiv 1711.05754: pdf, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: