BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Daniel Max Hoffmann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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.