English Español Français Deutsch Italiano Português Русский 日本語 한국어 العربية हिन्दी Türkçe

🔍

Conservative extension

Noun

Word Frequency: 0.0

Definitions

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

Synonyms

weakening conservativity theorem intensional logic superextension extensionality normal extension constructive logic analytic continuation natural deduction theory kan extension

🔗 Find words with "conservative extension" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.