Positive Definability Patterns
From MaRDI portal
Publication:6406009
arXiv2207.12449MaRDI QIDQ6406009FDOQ6406009
Authors: Ori Segel 
Publication date: 25 July 2022
Abstract: We reformulate Hrushovski's definability patterns from the setting of first order logic to the setting of positive logic. Given an h-universal theory T we put two structures on the type spaces of models of T in two languages, mathcal{L} and mathcal{L}_{pi}. It turns out that for sufficiently saturated models, the corresponding h-universal theories mathcal{T} and mathcal{T}_{pi} are independent of the model. We show that there is a canonical model mathcal{J} of mathcal{T}, and in many interesting cases there is an analogous canonical model mathcal{J}_{pi} of mathcal{T}_{pi}, both of which embed into every type space. We discuss the properties of these canonical models, called cores, and give some concrete examples.
Other nonclassical logic (03B60) Abstract model theory (03C95) Interpolation, preservation, definability (03C40) Continuous model theory, model theory of metric structures (03C66)
This page was built for publication: Positive Definability Patterns
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6406009)
