Philip Dittmann
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
Research
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.
Publications & Preprints
-
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
CV
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.