Definition:Extension of Structure

This page is about extensions of structures for predicate logic. For other uses, see Extension.

Definition

Let $\AA, \BB$ be structures for a signature $\LL$.

Then $\BB$ is an extension of $\AA$ if and only if $\AA$ is a substructure of $\BB$.

Sources

• 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\text{II}.8$ Further Semantic Notions: Definition $\text{II}.8.17$