BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Daniel Max Hoffmann contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper "Thorn forking and stable forking" by Ealy and Onshuus (Rev. acad. colomb. cienc. exact. fis. nat. vol.40 no.157 Bogotá Oct./Dec. 2016). We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss "theories with selectors".
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 differential field automorphisms. In the language of G-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion - denoted G-DCF. We then deploy the model-theoretic tools developed in the first author's paper [11] to show that any model of G-DCF is supersimple (but unstable when G is nontrivial), a PAC-differential field (and hence differentially large in the sense of the second author and Tressl [30]), and admits elimination of imaginaries after adding a tuple of parameters. We also address model-completeness and supersimplicity of theories of bounded PAC-differential fields (extending the results of Chatzidakis-Pillay [5] on bounded PAC-fields).
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 generalizes our previous results about truncated iterative Hasse-Schmidt derivations and about Galois actions. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.