English Explanatory Dictionary

conservative extension

English dictionary entry

Meanings

noun
  1. An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

Word forms

conservative extension conservative extensions
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary