Questions tagged [conservativity]
Questions about conservative extensions and syntactic transformations of theories in general.
1
question
8
votes
2
answers
265
views
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 ...
- 5,857