9 citations · 17 across the 4 of their papers we have counts for
8 papers
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…
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…
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…
Spaces of Types in Positive Model Theory
Levon Haykazyan
We introduce a notion of the space of types in positive model theory based on Stone duality for distributive lattices. We show that this space closely mirrors the Stone space of ty…
Groups with Locally Modular Homogeneous Pregeometries are Commutative
Levon Haykazyan
It is well known that strongly minimal groups are commutative. Whether this is true for various generalisations of strong minimality has been asked in several different settings (s…
Constructing Quasiminimal Structures
Levon Haykazyan
Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order the…
Decidability of the Clark's Completion Semantics for Monadic Programs and Queries
Levon Haykazyan
There are many different semantics for general logic programs (i.e. programs that use negation in the bodies of clauses). Most of these semantics are Turing complete (in a sense th…
Categoricity in Quasiminimal Pregeometry Classes
Levon Haykazyan
Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry…