5 citations · 6 across the 4 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2020★ 5 cited
On piecewise hyperdefinable groups
Arturo Rodriguez Fanlo
The aim of this paper is to generalize and improve two of the main model-theoretic results of "Stable group theory and approximate subgroups" by E. Hrushovski to the context of pie…