Hrushovski construction

id: hrushovski-construction-179-7617677
title: Hrushovski construction
text: In model theory, a branch of mathematical logic, the Hrushovski construction generalizes the Fraïssé limit by working with a notion of strong substructure ≤ rather than ⊆. 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. The specifics of ≤ 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
brand slug: wiki
category slug: encyclopedia
description:
original url: https://en.wikipedia.org/wiki/Hrushovski_construction
date created: 2008-08-19T02:42:45Z
date modified: 2024-09-05T10:34:56Z
main entity: {"identifier":"Q5923924","url":"https://www.wikidata.org/entity/Q5923924"}
image:
fields total: 13
integrity: 14

Related Entries

Explore Next Part