Age (model theory)
In model theory, the age of a structure (or model) A is the class of all finitely generated structures that are embeddable in A (i.e. isomorphic to substructures of A). This concept is central in the construction of a Fraïssé limit. The main point of Fraïssé's construction is to show how one can approximate a structure by its finitely generated substructures. Thus for example the age of any dense linear order without endpoints (DLO), One can easily see that any class K that is an age of some structure satisfies the following two conditions: and . The same applies to integers.
Wikipage disambiguates
Wikipage redirect
primaryTopic
Age (model theory)
In model theory, the age of a structure (or model) A is the class of all finitely generated structures that are embeddable in A (i.e. isomorphic to substructures of A). This concept is central in the construction of a Fraïssé limit. The main point of Fraïssé's construction is to show how one can approximate a structure by its finitely generated substructures. Thus for example the age of any dense linear order without endpoints (DLO), One can easily see that any class K that is an age of some structure satisfies the following two conditions: and . The same applies to integers.
has abstract
In model theory, the age of a ...... The same applies to integers.
@en
Wikipage page ID
Wikipage revision ID
722,762,223
subject
comment
In model theory, the age of a ...... The same applies to integers.
@en
label
Age (model theory)
@en