3 papers
math.LO2024
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…
math.LO2024
Retractors in local positive logic
Arturo Rodriguez Fanlo, Ori Segel
We study type spaces and saturation for local positive logic.
math.LO2024
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…