What is Hrushovski construction?

In model theory, a branch of mathematical logic, the Hrushovski construction generalizes the Fraïssé limit by working with a notion of strong substructure ≤ {\displaystyle \leq } rather than ⊆ {\displaystyle \subseteq }. It can be thought of as a kind of "model-theoretic forcing", where a stable structure is created, called the generic or rich model. The specifics of ≤ {\displaystyle \leq } determine various properties of the generic, with its geometric properties being of particular interest. It was initially used by Ehud Hrushovski to generate a stable structure with an "exotic" geometry, thereby refuting Zil'ber's Conjecture.