MODNET
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
E-mail:

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.


Last updated: December 18 2017 09:24 Please send your corrections to: