Research Interests
Model theory, exponential algebra, amalgamation constructions, applications to algebra and number theory.
For copyright reasons, the links to electronic versions other than the journal version are usually to nearly but not quite final versions.
- Jonathan Kirby, A note on the axioms for Zilber's pseudo-exponential fields, to appear in the Notre Dame Journal of Formal Logic, (arXiv)
- Jonathan Kirby, Finitely presented exponential fields, to appear in Algebra and Number Theory,
(arXiv)
- Jonathan Kirby, Angus Macintyre, Alf Onshuus, The algebraic numbers definable in various exponential fields, J. Inst. Math. Jussieu,
(Journal version, copyright CUP, arXiv)
- Martin Bays, Jonathan Kirby, A.J. Wilkie, A Schanuel property
for exponentially transcendental powers, Bull. Lond. Math. Soc. 42 (2010), no. 5, 917-922,
(arXiv)
- Exponential algebraicity in exponential fields,Bull. Lond. Math. Soc. 42 (2010), no. 5, 879-890,
(arXiv)
- On quasiminimal excellent classes, J. Symbolic Logic 75 (2010), no. 2, 551-564. (arXiv)
- The theory of the exponential differential equations of
semiabelian varieties, Selecta Mathematica 15, (2009) no. 3,
445--486
(DOI:10.1007/s00029-009-0001-7, arXiv)
- The uniform Schanuel conjecture over the real numbers (with
Boris Zilber), October 2004, Bull. London Math. Soc. 38 (2006),
no. 4, 568--570. (dvi, ps, pdf)
- A Schanuel condition for Weierstrass equations, Journal of
Symbolic Logic 70 (2005), no. 2, 631--638 and corrigendum: no. 3,
1023. (dvi, ps, pdf)
- The Theory of Exponential Differential Equations, DPhil Thesis, July 2006 (html abstract, pdf abstract,
pdf thesis)
- A new look at Counterexamples in topology, MSc thesis,
September 2002, (abstract,
dvi, ps,
pdf)
- Jonathan Kirby and Boris Zilber, Exponential fields and atypical intersections, submitted,
(arXiv)
- Abstract elementary categories, July 2008, a note giving a
possible definition (pdf)
- Variants of Schanuel's Conjecture, September 2007 (pdf)
- Some basic facts about infinite dimensional vector spaces (1
page), 2007, (pdf)
- Terminology for functions (1 page), 2007, (pdf)
- Closure operators (8 pages), 2005, (pdf)
- Amalgamation constructions, May 2005, (pdf)
- Valuations and field morphisms, December 2003, (abstract, dvi, ps, pdf)
- Monotone Reasoning - an unusual approach to propositional
calculus, notes from a course given by Jeff Paris, December 2001,
and made available with his permission. (dvi,
ps, pdf)
- Finitely Presented Exponential Fields, Geometry and Model Theory seminar, Paris, 15th October 2010
(pdf)
- Complex Exponentiation and Zilber's
Pseudo-exponentiation, Berkeley Logic Colloquium, 3rd April 2009
(pdf)
- Raising to generic powers, Final Modnet meeting,
Barcelona, 3rd November 2008
(pdf)
- The Geometry of Schanuel's Conjecture, Modnet meeting on
the Model Theory of Fields, CIRM, Luminy, 15th November 2007
(pdf)
- On Quasiminimal Excellent Classes, Special session on
non-elementary classes, AMS meeting, Chicago, 5th October 2007
(pdf)
- Exponential Differential Equations for Semiabelian
Varieties, Differential algebra meeting, Leeds, 9th June 2007
(pdf)
- Categoricity for Quasiminimal Excellent Classes, UC
Berkeley, 21st May 2007 (pdf)
- Blurred Complex Exponentiation, ASL Annual Meeting,
Gainesville, March 2007 (pdf)
- Dimension theory and differential equations given at
Paris 7, 30th January 2006 and Lyon 1, 2nd February 2006 (pdf)
- British Logic Colloquium talk, Bristol, 2nd September 2005 (pdf)
- Logic Colloquium, Athens on 31st July 2005 (pdf)
- Exponential and Weierstrass equations
given at the Isaac Newton Institute workshop on 8th April 2005 (pdf)
[an error occurred while processing this directive]
- ASL Annual meeting 2009, Notre Dame, 20th - 23rd May 2009
- Modnet conference, Barcelona, 3rd - 7th November, 2008
- Workshop Around Classification Theory, Leeds, 27th -
30th June 2008
- Antalya Algebra Days X, Antalya, Turkey, 28th May - 1st June 2008
- Effective Real Analytic Geometry, ICMS, Edinburgh, 5th -
9th May 2008
- Modnet training workshop, La Roche-en-Ardennes, 20th - 25th
April 2008
- Finnish Mathematical Days, HUT, 3rd - 4th January 2008
- Modnet meeting on the Model Theory of Fields, CIRM, Luminy,
12th - 16th November 2007
- Differential fields workshop, Leeds, 8th - 10th June 2007
- Annual meeting of the ASL, 2007, Gainesville, Florida, 10th -
13th March 2007
- Workshop Around o-minimality, Leeds, 11th - 13th March 2006
- British Logic Colloquium, Bristol, 1st - 3rd September 2005
- Logic Colloquium 2005, Athens, 28th July - 3rd August 2005
- Model Theory, Algebraic and Analytic Geometry, Isaac Newton
Institute, 11th - 15th July 2005
- Pure Model Theory, UEA, 4th - 8th July 2005
- An Introduction to Recent Applications of Model Theory,
Isaac Newton Institute, 29th March - 8th April 2005
- Groups of Finite Morley Rank, Isaac Newton Institute,
16th March 2005
- Long stay participant at the Model
Theory and Applications to Algebra and Analysis programme, at the
Isaac Newton Institute, Cambridge, 17th January - 15th July 2005
- UK GRADschool, Gatwick, 17th - 22nd September 2004
- Logic Colloquium 2004, Torino, 25th - 31st July 2004
- Logic Colloquium 2003, Helsinki, 14th - 20th August 2003
- Groups and Model Theory, University of Leeds, 11th - 12th April
2003
- Communication skills course, Oxford, 22nd - 23rd January 2003
I thoroughly recommend this to any Oxford mathematicians who
are in any way interested in communicating their ideas and work to
other people.