Positive model theory and infinitary logic

Jean Berthet

We study the basic properties of a dual "spectral" topology on positive type spaces of h-inductive theories and its essential connection to infinitary logic. The topology is Hausdo…