conservative extension

/K AH0 N S ER1 V AH0 T IH0 V IH0 K S T EH0 N SH AH0 N/
noun
  1. 1

    (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

Translate “conservative extension” into another language

Choose a language below to open the translator with English selected as the source language.

🇪🇸Spanish🇫🇷French🇩🇪German🇸🇦Arabic🇨🇳Chinese Simplified🇯🇵Japanese🇮🇳Hindi🇧🇷Portuguese🇷🇺Russian🇰🇷Korean🇮🇹Italian🇹🇷Turkish
See all 248+ languages
Back to Dictionary