4 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.GR2024
On metric approximate subgroups
E. Hrushovski, A. Rodriguez Fanlo
Let be a group with a metric invariant under left and right translations, and let be the ball of radius around the identity. A -met…
math.LO2024
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…