MODNET

Research Training Network in Model Theory

Publications > Preprint server > Preprint Number 2219
Preprint Number 2219
2219. Ori Segel Positive Definability Patterns E-mail: Submission 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, L and L_π. It turns out that for sufficiently saturated models, the corresponding h-universal theories T and T_π are independent of the model. We show that there is a canonical model J of T, and in many interesting cases there is an analogous canonical model J_π of T_π, both of which embed into every type space. We discuss the properties of these canonical models, called cores, and give some concrete examples. Mathematics Subject Classification: 03C95 Keywords and phrases: |

Last updated: August 1 2022 09:36 | Please send your corrections to: |