Showing 2021Show all
2 papers · 1 filter
math.LO2021
On rank not only in NSOP1 theories
Jan Dobrowolski, Daniel Max Hoffmann
We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (φ(x,y),q(y)) where φ(x,y) is a formula and q(y) is a global type. We prove that in any NSO…
math.LO2021
Model theory of differential fields with finite group actions
Daniel Max Hoffmann, Omar León Sánchez
Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by…