This entry is about the notion of extension in semantics. For the notion of extension in algebra, see there.
Given a proposition on terms of type , its extension is the type of all elements for which is true.
Revised on January 20, 2014 16:07:34
by Urs Schreiber