Lecturer in Pure Mathematics · University of Manchester
I am a mathematician interested in logic, algebra and number theory. I co-organise the local logic seminar.
philip.dittmann@manchester.ac.uk
Office 2.108, Alan Turing Building
I study fields (in the sense of algebra) from a variety of perspectives, mostly motivated by model theory and Hilbert's Tenth Problem. In particular, I have worked on henselian valued fields and definability questions in finitely generated fields.
Existential theories of henselian valued fields under a formal smoothness assumption
Composition Ax–Kochen/Ershov principles and tame fields of mixed characteristic
Universally defining subrings in function fields
On the existential theory of the completions of a global field
Uniform existential definitions of valuations in function fields in one variable
Characterising local fields of positive characteristic by Galois theory and the Brauer group
Ax–Kochen–Ershov principles for finitely ramified henselian fields
Two examples concerning existential undecidability in fields
When is the étale open topology a field topology?
Definable valuations on ordered fields
Axiomatizing the existential theory of 𝔽ₚ((t))
Existential rank and essential dimension of diophantine sets
Odoni’s conjecture on arboreal Galois representations is false
Characterizing finitely generated fields by a single field axiom
Non-definability of rings of integers in most algebraic fields
Galois groups of large simple fields
A class of fields with a restricted model completeness property
Denseness results in the theory of algebraic fields
The dimension growth conjecture, polynomial in the degree and without logarithmic factors
A p-adic analogue of Siegel’s theorem on sums of squares
Approximation theorems for spaces of localities
Irreducibility of polynomials over global fields is diophantine
I was previously a postdoctoral researcher at TU Dresden, at the MSRI/SLMath in Berkeley, and at KU Leuven. I was a student at Oxford—where I wrote my thesis A model-theoretic approach to the arithmetic of global fields—, Cambridge, and TU Darmstadt.