Definition:Extension of Structure
Jump to navigation
Jump to search
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$