Martin Bays

Since October 2023, I am the Departmental Lecturer in Logic at Oxford University.


Z75: Applications are open to join the model theory meeting in Oxford in September 2024.

Current teaching


The published versions of the above papers are mathematically identical to the latest arxiv versions, except in rare cases (explained in the arxiv version notes) where the arxiv version contains fixes to errors in the published version. The published versions always use the same numbering as the arxiv versions.

My DPhil thesis

Categoricity results for exponential maps of 1-dimensional algebraic groups & Schanuel Conjectures for Powers and the CIT, written at Oxford under the supervision of Boris Zilber.

Lecture notes

Old Teaching



  • <>
  • PGP key; fingerprint ECA6 C781 804E 70A6 35C7 B826 50B0 BB38 B5FB 2CD6
  • Postal address:
    Martin Bays
    University of Oxford
    Andrew Wiles Building
    Radcliffe Observatory Quarter (550)
    Woodstock Road
    OX2 6GG
  • #modeltheory on
  • Copying

    All materials on this site to which I own the copyright may be distributed under the terms of the Creative Commons Attribution Sharealike 4.0 licence or any later version.