Submission date: 15 November 2017

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 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.