Prof. Jochen Koenigsmann

MA, Diplom, PhD, Habilitation

Status

Academic Faculty

University Lecturer at the Mathematical Institute (Logic Group) and Tutorial Fellow at LMH

+44 1865 273568

Contact form

Research groups

Mathematical Logic

Address

Mathematical Institute
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG

Highlighted publications

Defining Z in Q

Koenigsmann, J Annals of Mathematics volume 183 issue 1 73-93 (01 Jan 2016)

Undecidability in number theory

Koenigsmann, J (02 Sep 2013) http://arxiv.org/abs/1309.0441v1

On the 'Section Conjecture' in anabelian geometry

Koenigsmann, J Journal fur die reine und angewandte Mathematik (Crelles Journal) volume 2005 issue 588 221-235 (Nov 2005)

Solvable absolute Galois groups are metabelian

Koenigsmann, J Inventiones mathematicae volume 144 issue 1 1-22 (Apr 2001)

FROM P-RIGID ELEMENTS TO VALUATIONS (WITH A GALOIS-CHARACTERIZATION OF P-ADIC FIELDS)

KOENIGSMANN, J JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK volume 465 165-182 (1995) https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:A1995RV54100007&DestLinkType=FullRecord&DestApp=WOS_CPL

Research interests

Model theory and arithmetic of fields, valuation theory, Galois theory, Hilbert's 10th problem, anabelian Geometry, number theory

Further details

"A Graduate Student Supervision" (video)

"À la recherche de l'inconnu" (Symposion, Sep. 2024)

Recent publications

Recovering p-adic valuations from pro-p Galois groups

Koenigsmann, J Strommen, K Journal of the London Mathematical Society volume 109 issue 5 (25 Apr 2024)

Decidability in local and global fields

Koenigsmann, J Proceedings of the International Congress of Mathematicians 45-59 (31 May 2019)

Defining coarsenings of valuations

Jahnke, F Koenigsmann, J Proceedings of the Edinburgh Mathematical Society volume 60 issue 3 665-687 (10 Jan 2017)

Uniformly defining p-henselian valuations

Jahnke, F Koenigsmann, J Annals of Pure and Applied Logic volume 166 issue 7-8 741-754 (Jul 2015)

DEFINABLE HENSELIAN VALUATIONS

Jahnke, F Koenigsmann, J JOURNAL OF SYMBOLIC LOGIC volume 80 issue 1 85-99 (2015) https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000351311600004&DestLinkType=FullRecord&DestApp=WOS_CPL

On a question of Abraham Robinson's

Koenigsmann, J (27 Sep 2013) http://arxiv.org/abs/1309.7138v2

An existential 0-definition of F_q[[t]] in F_q((t))

Anscombe, W Koenigsmann, J (28 Jun 2013) http://arxiv.org/abs/1306.6760v1

Defining $\mathbb{Z}$ in $\mathbb{Q}$

Koenigsmann, J (15 Nov 2010) http://arxiv.org/abs/1011.3424v2

Schlanke Körper (Slim fields).

Junker, M Koenigsmann, J J. Symb. Log. volume 75 481-500 (2010)

Projective extensions of fields

Koenigsmann, J Journal of the London Mathematical Society volume 73 issue 3 639-656 (Jun 2006)

Prizes, awards, and scholarships

Studienstiftung des deutschen Volkes, Dornier-Forschungspreis, Heisenberg-Fellow (DFG), Invited Speaker at ICM Rio 2018