We construct and study structures imitating the field of complex numbers with exponentiation. We give a natural, albeit non first-order, axiomatisation for the corresponding class of structures and prove that the class has a unique model in every uncountable cardinality. This gives grounds to conjecture that the unique model of cardinality continuum is isomorphic to the field of complex numbers with exponentiation.

Theoria, Volume 87, Issue 4, Page 971-985, August 2021.

A set of axioms is presented defining an ‘analytic Zariski structure’, as a generalisation of Hrushovski and Zilber’s Zariski structures. Some consequences of the axioms are explored. A simple example of a structure constructed using Hrushovski’s method of free amalgamation is shown to be a non-trivial example of an analytic Zariski structure. A number of ‘quasi-analytic’ results are derived for this example e.g. analogues of Chow’s theorem and the proper mapping theorem.

In this article we present a notion of “logical perfection”. We first describe through examples a notion of logical perfection extracted from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver of ideas in model theory, both mathematically (stability theory may be regarded as a way of approximating categoricity) and philosophically. In the past two decades, categoricity notions have started to overlap with more classical notions of robustness and smoothness. These (...) have been crucial in various parts of mathematics since the nineteenth century. We postulate and present the category of logical perfection. We draw on various notions of perfection from mathematics of the 19th and 20th centuries and then trace the relation to the concept of categoricity in power as a logical notion of what a “mathematically perfect” structure is. (shrink)