Source author record

Jonathan Kirby

Jonathan Kirby appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.NT

Catalog footprint

What is connected

10works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2019arXiv

Existentially Closed Exponential Fields

We characterise the existentially closed models of the theory of exponential fields. They do not form an elementary class, but can be studied using positive logic. We find the amalgamation bases and characterise the types over them. We define a notion of independence and show that independent systems of higher dimension can also be amalgamated. We extend some notions from classification theory to positive logic and position the category of existentially closed exponential fields in the stability hierarchy as NSOP$_1$ but TP$_2$.

preprint2014arXiv

Exponentially Closed Fields and the Conjecture on Intersections with Tori

We give an axiomatization of the class ECF of exponentially closed fields, which includes the pseudo-exponential fields previously introduced by the second author, and show that it is superstable over its interpretation of arithmetic. Furthermore, ECF is exactly the elementary class of the pseudo-exponential fields if and only if the diophantine conjecture CIT on atypical intersections of tori with subvarieties is true.

preprint2013arXiv

Excellence and uncountable categoricity of Zilber's exponential fields

We prove that Zilber's class of exponential fields is quasiminimal excellent and hence uncountably categorical, filling two gaps in Zilber's original proof.

preprint2013arXiv

Quasiminimal structures and excellence

We show that the excellence axiom in the definition of Zilber's quasiminimal excellent classes is redundant, in that it follows from the other axioms. This substantially simplifies a number of categoricity proofs.

preprint2011arXiv

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

We show that Zilber's conjecture that complex exponentiation is isomorphic to his pseudo-exponentiation follows from the a priori simpler conjecture that they are elementarily equivalent. An analysis of the first-order types in pseudo-exponentiation leads to a description of the elementary embeddings, and the result that pseudo-exponential fields are precisely the models of their common first-order theory which are atomic over exponential transcendence bases. We also show that the class of all pseudo-exponential fields is an example of a non-finitary abstract elementary class, answering a question of Kesälä and Baldwin.

preprint2011arXiv

Finitely Presented Exponential Fields

The algebra of exponential fields and their extensions is developed. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, finitely presented extensions are defined, it is shown that finitely generated strong extensions are finitely presented, and these extensions are classified. An algebraic construction is given of Zilber's pseudo-exponential fields. As applications of the general results and methods of the paper, it is shown that Zilber's fields are not model-complete, answering a question of Macintyre, and a precise statement is given explaining how Schanuel's conjecture answers all transcendence questions about exponentials and logarithms. Connections with the Kontsevich-Zagier, Grothendieck, and André transcendence conjectures on periods are discussed, and finally some open problems are suggested.

preprint2011arXiv

The algebraic numbers definable in various exponential fields

We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise definable algebraic numbers are the real abelian numbers.

preprint2008arXiv

A Schanuel property for exponentially transcendental powers

We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several powers in a context which encompasses the complex case.

preprint2008arXiv

Exponential algebraicity in exponential fields

I give an algebraic proof that the exponential algebraic closure operator in an exponential field is always a pregeometry, and show that its dimension function satisfies a weak Schanuel property. A corollary is that there are at most countably many essential counterexamples to Schanuel's conjecture.

preprint2007arXiv

On Quasiminimal Excellent Classes

A careful exposition of Zilber's quasiminimal excellent classes and their categoricity is given, leading to two new results: the L_w1,w(Q)-definability assumption may be dropped, and each class is determined by its model of dimension aleph_0.

Jonathan Kirby

What is connected

Connect this record

See the researcher in context

Building this map preview

10 published item(s)

Existentially Closed Exponential Fields

Exponentially Closed Fields and the Conjecture on Intersections with Tori

Excellence and uncountable categoricity of Zilber's exponential fields

Quasiminimal structures and excellence

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

Finitely Presented Exponential Fields

The algebraic numbers definable in various exponential fields

A Schanuel property for exponentially transcendental powers

Exponential algebraicity in exponential fields

On Quasiminimal Excellent Classes