5 papers
A note on uniform definability of types over finite sets in partial orders of finite width
Timo Krisam, Ori Segel
In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one varia…
Retractors in local positive logic
Arturo Rodriguez Fanlo, Ori Segel
We study type spaces and saturation for local positive logic.
Completeness in local positive logic
Arturo Rodriguez Fanlo, Ori Segel
We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinit…
Positive Definability Patterns
Ori Segel
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…
Boolean Types in Dependent Theories
Itay Kaplan, Ori Segel, Saharon Shelah
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regard…