Showing 1–7 of 7 results for author: Haykazyan, L

Existentially Closed Exponential Fields

Authors: Levon Haykazyan, Jonathan Kirby

Abstract: 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… ▽ More 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$. △ Less

Submitted 12 February, 2019; v1 submitted 19 December, 2018; originally announced December 2018.

Journal ref: Isr. J. Math. (2021)

More on a Curious Nucleus

Authors: Levon Haykazyan

Abstract: 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. We answer the questions posed in Simmons [2010]. 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. We answer the questions posed in Simmons [2010]. △ Less

Submitted 21 May, 2019; v1 submitted 20 July, 2018; originally announced July 2018.

Spaces of Types in Positive Model Theory

Authors: Levon Haykazyan

Abstract: 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 types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory. 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 types in the full first-order model theory with negation (Tarskian model theory). We use this to generalise some classical results on countable models from the Tarskian setting to positive model theory. △ Less

Submitted 31 October, 2018; v1 submitted 15 November, 2017; originally announced November 2017.

Journal ref: J. symb. log. 84 (2019) 833-848

Functoriality and uniformity in Hrushovski's groupoid-cover correspondence

Authors: Levon Haykazyan, Rahim Moosa

Abstract: The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism.… ▽ More The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism. Secondly, the equivalence of categories is shown to vary uniformly in definable families, with respect to an appropriate relativisation of these categories. Some elaboration on Hrushovki's original constructions are also included. △ Less

Submitted 9 November, 2017; originally announced November 2017.

MSC Class: 03C45

Groups with Locally Modular Homogeneous Pregeometries are Commutative

Authors: Levon Haykazyan

Abstract: 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 (see Hyttinen [2002], Maesono [2007], Pillay and Tanović [2011]). In this note we show that the answer is positive for groups with locally modular homogeneous pregeometries. 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 (see Hyttinen [2002], Maesono [2007], Pillay and Tanović [2011]). In this note we show that the answer is positive for groups with locally modular homogeneous pregeometries. △ Less

Submitted 13 April, 2017; v1 submitted 20 February, 2017; originally announced February 2017.

Constructing Quasiminimal Structures

Authors: Levon Haykazyan

Abstract: 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 theory. We present several constructions with increasing control of the properties of the outcome using increasingly stronger assumptions on the theory. We also establish an upper bound on the Hanf number of the existence o… ▽ More 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 theory. We present several constructions with increasing control of the properties of the outcome using increasingly stronger assumptions on the theory. We also establish an upper bound on the Hanf number of the existence of arbitrarily large quasiminimal models. △ Less

Submitted 20 October, 2015; v1 submitted 28 July, 2015; originally announced July 2015.

Categoricity in Quasiminimal Pregeometry Classes

Authors: Levon Haykazyan

Abstract: Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is categorical in all uncountable cardinalities. Recently Bays et al. [2014] showed that excellence follows from the rest of axioms. In this paper we present a dir… ▽ More Quasiminimal pregeometry classes were introduces by Zilber [2005a] to isolate the model theoretical core of several interesting examples. He proves that a quasiminimal pregeometry class satisfying an additional axiom, called excellence, is categorical in all uncountable cardinalities. Recently Bays et al. [2014] showed that excellence follows from the rest of axioms. In this paper we present a direct proof of the categoricity result without using excellence. △ Less

Submitted 31 March, 2014; v1 submitted 8 August, 2013; originally announced August 2013.