Biography

See my personal webpage for more information about my research and teaching.

 

Jonathan’s research is primarily in Model Theory, a branch of Mathematical Logic and its applications to algebra and number theory. Within Model Theory he specialises in stability theory, particularly in the setting of abstract elementary classes, and applications to exponentiation.  

He has taught a variety of subjects for undergraduates including Model Theory, Mathematical Logic, Real Analysis, Calculus, Combinatorics, and Computability. He has also taught Category Theory to PhD students via the MAGIC consortium of universities. 

Jonathan studied Mathematics at Cambridge University, obtaining an MA and also completing a Certificate of Advanced Study. He has an MSc in Mathematical Logic from the University of Manchester, and a DPhil from the University of Oxford. Subsequently he was a Research Assistant Professor at the University of Illinois at Chicago and an EPSRC Postdoctoral Fellow at the University of Oxford, before coming to UEA in 2009.

Follow this link for details of current PhD opportunities in Mathematics. But feel free to email me to discuss projects outside these areas and alternative sources of funding.

Career History

Research Assistant Professor, University of Illinois at Chicago, 2006-2007
EPSRC Postdoctoral Fellow, University of Oxford, 2007-2009
Lecturer in Pure Mathematics, UEA, 2009 - 2014
Senior Lecturer in Mathematics, UEA, 2014 -

All Publications

Jones, G., Kirby, J., Servi, T.

(2016)

Local interdefinability of Weierstrass elliptic functions,

in Journal of the Institute of Mathematics of Jussieu

15

(4)

pp. 673–691

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2016)

The rational field is not universally definable in pseudo-exponentiation,

in Fundamenta Mathematicae

232

pp. 79-88

Full Text UEA Repository

(Article)

(Published)


Kirby, J., Zilber, B.

(2014)

Exponentially Closed Fields and the Conjecture on Intersections with Tori,

in Annals of Pure and Applied Logic

165

(11)

pp. 1680-1706

Full Text UEA Repository

(Article)

(Published)


Bays, M., Hart, B., Hyttinen, T., Kesala, M., Kirby, J.

(2014)

Quasiminimal structures and excellence,

in Bulletin of the London Mathematical Society

46

(1)

pp. 155-163

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2013)

A note on the axioms for Zilber's pseudo-exponential fields,

in Notre Dame Journal of Formal Logic

54

(3-4)

pp. 509-520

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2013)

Finitely presented exponential fields,

in Algebra and Number Theory

7

(4)

pp. 943-980

Full Text UEA Repository

(Article)

(Published)


Kirby, J., Macintyre, A., Onshuus, A.

(2012)

The algebraic numbers definable in various exponential fields,

in Journal of the Institute of Mathematics of Jussieu

11

(4)

pp. 825-834

Full Text UEA Repository

(Article)

(Published)


Bays, M., Kirby, J., Wilkie, A.

(2010)

A Schanuel property for exponentially transcendental powers,

in Bulletin of the London Mathematical Society

42

(5)

pp. 917-922

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2010)

Exponential algebraicity in exponential fields,

in Bulletin of the London Mathematical Society

42

(5)

pp. 879-890

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2010)

On quasiminimal excellent classes,

in Journal of Symbolic Logic

75

(2)

pp. 551-564

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2009)

The theory of the exponential differential equations of semiabelian varieties,

in Selecta Mathematica

15

(3)

pp. 445-486

Full Text UEA Repository

(Article)

(Published)


Kirby, J., Zilber, B.

(2006)

The Uniform Schanuel Conjecture Over the Real Numbers,

in Bulletin of the London Mathematical Society

38

(04)

pp. 568

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2005)

Corrigendum to “A Schanuel Condition for Weierstrass Equations”,

in Journal of Symbolic Logic

70

(3)

pp. 1023-1023

Full Text UEA Repository

(Article)

(Published)


Kirby, J.

(2005)

A Schanuel condition for Weierstrass equations,

in Journal of Symbolic Logic

70

(2)

pp. 631-638

Full Text UEA Repository

(Article)

(Published)


Key Research Interests

Model theory, and applications to algebra and number theory.

Research keywords: Logic, Model theory

Postdoc: Dr Adam Harris 2014-2015

PhD students:

Dr Robert Henderson 2010-2014

Tim Zander 2013-  (joint supervision with Prof David Evans)

Abeer Al-Balahi 2015-

Teaching Interests

Jonathan has taught a variety of subjects for undergraduates including Model Theory, Mathematical Logic, Real Analysis, Calculus, Combinatorics, and Computability. He has also taught Category Theory to PhD students via the MAGIC consortium of universities.

Key Responsibilities

  • Senior Advisor in MTH
  • Disability Liaison Officer for MTH
  • Student Partnership Officer for MTH
  • Chairman of MTH/ENG Extenuating Circumstances Panel
  • LMS Departmental Representative for UEA