6 papers · 1 filter
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…
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…
Model theory of fields with finite group scheme actions
Daniel Max Hoffmann, Piotr Kowalski
We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which general…
PAC structures in nutshell
Daniel Max Hoffmann
An expository paper written down after RIMS Model Theory Workshop 2018. To appear in RIMS Kokyuroku.
Model theory of fields with free operators in positive characteristic
Özlem Beyarslan, Daniel Max Hoffmann, Moshe Kamensky +1
We give algebraic conditions about a finite algebra over a perfect field of positive characteristic, which are equivalent to the companionability of the theory of fields with "…
On Galois groups and PAC substructures
Daniel Max Hoffmann
We show that for an arbitrary stable theory T, a group G is profinite if and only if G occurs as a Galois group of some Galois extension inside a monster model of T. We prove that…