  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.
