Showing math.LOShow all
2 papers · 1 filter
math.LO2014
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…
math.LO2012
Prime types and geometric completeness
Jean Berthet
The geometric form of Hilbert's Nullstellensatz may be understood as a property of "geometric saturation" in algebraically closed fields. We conceptualise this property in the lang…