conservative extension

philosophy

Learn about this topic in these articles:

In foundations of mathematics: Internal language
…type theory ℒ has a conservative extension to the internal language of a topos—namely, the topos generated by ℒ, assuming that this topos exists in the real (ideal) world. Here, the phrase “conservative extension” means that ℒ can be extended to LT(ℒ) without creating new theorems. The types of LT(ℒ)…
Read More