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