English

Indifference to symmetry in Hrushovski's ab initio construction

Logic 2021-09-03 v2

Abstract

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

Keywords

Cite

@article{arxiv.1603.05170,
  title  = {Indifference to symmetry in Hrushovski's ab initio construction},
  author = {Omer Mermelstein},
  journal= {arXiv preprint arXiv:1603.05170},
  year   = {2021}
}

Comments

Final author version. Completely rewritten. To appear in APAL