An ab initio construction of a geometry

Abstract

We show that the geometry of Hrushovski's ab initio construction for a single $n$-ary relation not-permitting dependent sets of size less than $n$, when restricted to $n$-tuples, can be itself constructed as a Hrushovski construction.

8 pages. Theorem 4.12 was removed due to a gap in the proof

References in corpus (2)

• The geometry of Hrushovski constructions, I. The uncollapsed case
• Matroid Theory and Hrushovski's Predimension Construction