conservative extension
conservative extension · conservative extensions
An extension of a logical theory such that every theorem expressible in the original…An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Meaning
1 sensesAn extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Forms
plural: conservative extensions| Singular | conservative extension |
|---|---|
| Plural | conservative extensions |
regular