Topics in logic and number theory

Lead Research Organisation: University of Manchester
Department Name: Mathematics

Abstract

This project fits in the EPSRC areas of Number theory and Logic and combinatorics.



Probably, the project will involve studying interdefinability questions for expansions of the real field by restrictions of the exponential maps of abelian varieties. This is related to recent work on functional transcendence. In particular, one aim would be to show that for two sufficiently different abelian varieties, no restriction of the exponential of one is definable from any restriction of the exponential of the other.

Publications

10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/N509565/1 01/10/2016 30/09/2021
2096902 Studentship EP/N509565/1 01/09/2018 31/03/2022 Raymond McCulloch
EP/R513131/1 01/10/2018 30/09/2023
2096902 Studentship EP/R513131/1 01/09/2018 31/03/2022 Raymond McCulloch