# Definition:Age (Model Theory)

Jump to navigation
Jump to search

*This page is about Age in the context of Model Theory. For other uses, see Age.*

## Definition

Let $\MM$ be an $\LL$-structure.

An **age** of $\MM$ is a class $K$ of $\LL$-structures such that:

- if $\AA$ is a finitely generated $\LL$-structure such that there is an $\LL$-embedding $\AA \to \MM$, then $\AA$ is isomorphic to some structure in $K$,
- no two structures in $K$ are isomorphic, and
- $K$ does not contain any structures which are not finitely generated or do not embed into $\MM$.

That is, $K$ is an age of $\MM$ if and only if it contains exactly one representative from each isomorphism type of the finitely-generated structures that embed into $\MM$.

This article needs to be linked to other articles.In particular: finitely generated structureYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |