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 (usually) stable structure is created, called the generic or rich model.
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 (usually) stable structure is created, called the generic or rich model.
Source: Wikipedia "Hrushovski construction" · CC BY-SA 4.0
Share this article: X · Bluesky