A+ CATEGORY SCIENTIFIC UNIT

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

Reducts of Hrushovski's constructions of a higher geometrical arity

Volume 247 / 2019

Assaf Hasson, Omer Mermelstein Fundamenta Mathematicae 247 (2019), 151-164 MSC: Primary 03C30, 03C45; Secondary 03C13. DOI: 10.4064/fm645-10-2018 Published online: 31 May 2019

Abstract

Let $\mathbb {M}_n$ denote the structure obtained from Hrushovski’s (non-collapsed) construction with an $n$-ary relation and $\operatorname{PG} (\mathbb {M}_n)$ its associated pregeometry. It was shown by Evans and Ferreira (2011) that $\operatorname{PG} (\mathbb {M}_3)\not \cong \operatorname{PG} (\mathbb {M}_4)$. We show that $\mathbb {M}_3$ has a reduct $\mathbb {M}^{\operatorname{clq} }$ such that $\operatorname{PG} (\mathbb {M}_4)\cong \operatorname{PG} (\mathbb {M}^{\operatorname{clq} })$. To achieve this we show that $\mathbb {M}^{\operatorname{clq} }$ is a slightly generalised Fraïssé–Hrushovski limit incorporating non-eliminable imaginary sorts in $\mathbb {M}^{\operatorname{clq} }$.

Authors

  • Assaf HassonDepartment of Mathematics
    Ben Gurion University of the Negev
    P.O.B. 653, Be’er Sheva 8410501, Israel
    e-mail
  • Omer MermelsteinDepartment of Mathematics
    Ben Gurion University of the Negev
    P.O.B 653, Be’er Sheva 8410501, Israel
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image