Questions tagged [conservativity]

Questions about conservative extensions and syntactic transformations of theories in general.

Filter by
Sorted by
Tagged with
8 votes
2 answers

What's “conservativity” in terms of type theory and how is it useful?

I have heard that an extension to a type theory can be said to be conservative, which means it may add new formulae to the original type theory, for example new type formers and their intro/elim rules ...
ice1000's user avatar
  • 5,857