Source author record

Omer Mermelstein

Omer Mermelstein appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

What is connected

3works

2topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

The generic flat pregeometry

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.

preprint2019arXiv

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$.

preprint2013arXiv

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

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.