3 papers
math.LO2018
Existentially Closed Exponential Fields
Levon Haykazyan, Jonathan Kirby
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 amal…
math.RA2018
More on a Curious Nucleus
Levon Haykazyan
Harold Simmons introduced a pre-nucleus and its associated nucleus that measure the subfitness of a frame in Simmons [2010]. In this paper we continue the study if this pre-nucleus…
math.LO2017
Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
Levon Haykazyan, Rahim Moosa
The correspondence between definable connected groupoids in a theory and internal generalised imaginary sorts of , established by Hrushovski in ["Groupoids, imaginaries and…