conservative extensions

A form of conservative extension — An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

Meanings

noun
  1. pluralplural of conservative extension
Cite this entry
APA

conservative extensions. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/conservative%20extensions

MLA

“conservative extensions.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/conservative%20extensions. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “conservative extensions,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/conservative%20extensions.

Source: conservative extensions on Wiktionary, CC BY-SA 4.0.