Information om | Engelska ordet EXTENSIONALITY

Exempel på hur man kan använda EXTENSIONALITY i en mening

• The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory.
• For example it is well known that in univalent foundations, the univalence axiom implies both propositional and functional extensionality.
• Q is interpretable in a fragment of Zermelo's axiomatic set theory, consisting of extensionality, existence of the empty set, and the axiom of adjunction.
• He argues in favor of naturalizing epistemology, physicalism as against phenomenalism and mind-body dualism, and extensionality as against intensionality.
• The concepts that are used to explain this concept are extensionality, definiteness, substitutivity of identity, unfoldability, and referential transparency.
• For instance, they noted that the groupoid model satisfies a rule they called "universe extensionality", which is none other than the restriction to 1-types of the univalence axiom that Vladimir Voevodsky proposed ten years later.

Förberedelsen av sidan tog: 427,05 ms.