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 -ary relation by and the analogous construction for a symmetric -ary relation by . We show that is isomorphic to a proper reduct of 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