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 nonfinitary abstract elementary (...) class, answering a question of Kesälä and Baldwin. (shrink)

In this paper, we prove that a pseudo-exponential field has continuum many nonisomorphic countable real closed exponential subfields, each with an order-preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel’s conjecture.

We highlight connections between accessible categories and abstract elementary classes , and provide a dictionary for translating properties and results between the two contexts. We also illustrate a few applications of purely category-theoretic methods to the study of AECs, with model-theoretically novel results. In particular, the category-theoretic approach yields two surprising consequences: a structure theorem for categorical AECs, and a partial stability spectrum for weakly tame AECs.

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.

We use some notions from computability in an uncountable setting to describe a difference between the “Zilber field” of size ℵ1ℵ1 and the “Zilber cover” of size ℵ1ℵ1.