nLab extension (semantics)

Contents

This entry is about the notion of extension in semantics. For the notion of extension in algebra, see there.

Contents

Idea

Given a proposition PP on terms of type XX, its extension is the type {xX|P(x)}\{x \in X | P(x)\} of all elements xx for which P(x)P(x) is true.

References

Last revised on September 1, 2022 at 09:01:46. See the history of this page for a list of all contributions to it.