An ab initio construction of a geometry
Logic
2017-12-20 v2
Abstract
We show that the geometry of Hrushovski's ab initio construction for a single -ary relation not-permitting dependent sets of size less than , when restricted to -tuples, can be itself constructed as a Hrushovski construction.
Cite
@article{arxiv.1709.07353,
title = {An ab initio construction of a geometry},
author = {Omer Mermelstein},
journal= {arXiv preprint arXiv:1709.07353},
year = {2017}
}
Comments
8 pages. Theorem 4.12 was removed due to a gap in the proof