Submission date: 21 September 2017

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, can be itself constructed as a Hrushovski construction. This shows that the geometry of the ab initio construction is ω-stable as a first order structure.

Mathematics Subject Classification: Primary 03C30, 03C45, Secondary 03C13

Keywords and phrases:

Full text arXiv 1709.07353: pdf, ps.