Showing 1–9 of 9 results for author: Mermelstein, O

Recursive spectra of flat strongly minimal theories

Authors: Uri Andrews, Omer Mermelstein

Abstract: We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,α)$ for $α\in ω+2$ or $[0,n]\cup\{ω\}$ for $n\in ω$, or $\{ω\}$, or contained in $\{0,1,2\}$. Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minim… ▽ More We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,α)$ for $α\in ω+2$ or $[0,n]\cup\{ω\}$ for $n\in ω$, or $\{ω\}$, or contained in $\{0,1,2\}$. Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minimal theory with a flat pregeometry. △ Less

Submitted 29 April, 2021; originally announced April 2021.

MSC Class: 03C57; 03D45

The generic flat pregeometry

Authors: Omer Mermelstein

Abstract: We examine the first order structure of pregeometries of structures built via Hrushovski constructions. In particular, we show that the class of flat pregeometries is an amalgamation class such that the pregeometry of the unbounded arity Hrushovski construction is precisely its generic. We show that the generic is saturated, provide an axiomatization for its theory, show that the theory is $ω$-sta… ▽ More We examine the first order structure of pregeometries of structures built via Hrushovski constructions. In particular, we show that the class of flat pregeometries is an amalgamation class such that the pregeometry of the unbounded arity Hrushovski construction is precisely its generic. We show that the generic is saturated, provide an axiomatization for its theory, show that the theory is $ω$-stable, and has quantifier-elimination down to boolean combinations of $\exists\forall$-formulas. We show that the pregeometries of the bounded-arity Hrushovski constructions satisfy the same theory, and that they in fact form an elementary chain. △ Less

Submitted 3 June, 2020; v1 submitted 2 January, 2020; originally announced January 2020.

MSC Class: 05B35; 03C30 (Primary) 03C45; 03C13; 03C50 (Secondary)

$[0,n]\cup \{ω\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature

Authors: Uri Andrews, Omer Mermelstein

Abstract: We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature. We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature. △ Less

Submitted 29 April, 2021; v1 submitted 25 August, 2019; originally announced August 2019.

Comments: Final author version

MSC Class: 03C57; 03D45; 03C30

The closed ordinal Ramsey number $R^{cl}(ω^2,3) = ω^6$

Authors: Omer Mermelstein

Abstract: Closed ordinal Ramsey numbers are a topological variant of the classical (ordinal) Ramsey numbers. We compute the exact value of the closed ordinal Ramsey number $R^{cl}(ω^2,3) = ω^6$. Closed ordinal Ramsey numbers are a topological variant of the classical (ordinal) Ramsey numbers. We compute the exact value of the closed ordinal Ramsey number $R^{cl}(ω^2,3) = ω^6$. △ Less

Submitted 2 May, 2019; v1 submitted 31 December, 2018; originally announced January 2019.

Comments: Final author version

MSC Class: 03E02 (Primary); 03E10 (Secondary)

An ab initio construction of a geometry

Authors: Omer Mermelstein

Abstract: We show that the geometry of Hrushovski's ab initio construction for a single $n$-ary relation not-permitting dependent sets of size less than $n$, when restricted to $n$-tuples, can be itself constructed as a Hrushovski construction. We show that the geometry of Hrushovski's ab initio construction for a single $n$-ary relation not-permitting dependent sets of size less than $n$, when restricted to $n$-tuples, can be itself constructed as a Hrushovski construction. △ Less

Submitted 18 December, 2017; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: 8 pages. Theorem 4.12 was removed due to a gap in the proof

MSC Class: 03C30; 03C45 (Primary); 03C13 (Secondary)

Reducts of Hrushovski's constructions of a higher geometrical arity

Authors: Assaf Hasson, Omer Mermelstein

Abstract: Let $\mathbb{M}_n$ denote the structure obtained from Hrushovski's (non collapsed) construction with an n-ary relation and $PG(\mathbb{M}_n)$ its associated pre-geometry. It was shown by Evans and Ferreira that $PG(\mathbb{M}_3)\not\cong PG(\mathbb{M}_4)$. We show that $\mathbb{M}_3$ has a reduct, $\mathbb{M}^{clq}$ such that $PG(\mathbb{M}_4)\cong PG(\mathbb{M}^{clq})$. To achieve this we show th… ▽ More Let $\mathbb{M}_n$ denote the structure obtained from Hrushovski's (non collapsed) construction with an n-ary relation and $PG(\mathbb{M}_n)$ its associated pre-geometry. It was shown by Evans and Ferreira that $PG(\mathbb{M}_3)\not\cong PG(\mathbb{M}_4)$. We show that $\mathbb{M}_3$ has a reduct, $\mathbb{M}^{clq}$ such that $PG(\mathbb{M}_4)\cong PG(\mathbb{M}^{clq})$. To achieve this we show that $\mathbb{M}^{clq}$ is a slightly generalised Fraïssé-Hrushovski limit incorporating into the construction non-eliminable imaginary sorts in $\mathbb{M}^{clq}$. △ Less

Submitted 18 September, 2018; v1 submitted 21 September, 2017; originally announced September 2017.

MSC Class: 03C30; 03C45

Calculating the closed ordinal Ramsey number $R^{cl}(ω\cdot 2,3)^2$

Authors: Omer Mermelstein

Abstract: We show that $R^{cl}(ω\cdot 2,3)^2$ is equal to $ω^3\cdot 2$. We show that $R^{cl}(ω\cdot 2,3)^2$ is equal to $ω^3\cdot 2$. △ Less

Submitted 7 January, 2019; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: Final author version

MSC Class: 03E02; 03E10

Indifference to symmetry in Hrushovski's ab initio construction

Authors: Omer Mermelstein

Abstract: Denote Hrushovski's non-collapsed ab initio construction for an $n$-ary relation by $\mathcal{M}_{\not\sim}$ and the analogous construction for a symmetric $n$-ary relation by $\mathcal{M}_{\sim}$. We show that $\mathcal{M}_{\not\sim}$ is isomorphic to a proper reduct of $\mathcal{M}_{\sim}$ and vice versa, and that the combinatorial pregeometries associated with both structures are isomorphic. Denote Hrushovski's non-collapsed ab initio construction for an $n$-ary relation by $\mathcal{M}_{\not\sim}$ and the analogous construction for a symmetric $n$-ary relation by $\mathcal{M}_{\sim}$. We show that $\mathcal{M}_{\not\sim}$ is isomorphic to a proper reduct of $\mathcal{M}_{\sim}$ and vice versa, and that the combinatorial pregeometries associated with both structures are isomorphic. △ Less

Submitted 1 September, 2021; v1 submitted 16 March, 2016; originally announced March 2016.

Comments: Final author version. Completely rewritten. To appear in APAL

MSC Class: 03C30; 03C45

On reducts of Hrushovski's construction - the non-collapsed case

Authors: Assaf Hasson, Omer Mermelstein

Abstract: We show that the rank ω structure obtained by the non-collapsed version of Hrushovski's amalgamation construction has a proper reduct. We show that this reduct is the Fraïssé-Hrushovski limit of its own age with respect to a pre-dimension function generalising Hrushovski's pre-dimension function. It follows that this reduct has a unique regular type of rank ω, and we prove that its geometry is iso… ▽ More We show that the rank ω structure obtained by the non-collapsed version of Hrushovski's amalgamation construction has a proper reduct. We show that this reduct is the Fraïssé-Hrushovski limit of its own age with respect to a pre-dimension function generalising Hrushovski's pre-dimension function. It follows that this reduct has a unique regular type of rank ω, and we prove that its geometry is isomorphic to the geometry of the generic type in the original structure. We ask whether our reduct is bi-interpretable with the original structure and whether it, too, has proper reducts with the same geometry. △ Less

Submitted 9 May, 2013; originally announced May 2013.

MSC Class: 03C45; 03C30