-
cardinal Extension (model theory)
Extension (proof theory)
Extension (predicate logic), the set of
tuples of
values that
satisfy the
predicate Extension (semantics)...
- A
filename extension, file name
extension or file
extension is a
suffix to the name of a
computer file (for example, .txt, .mp3, .exe) that
indicates a...
- In mathematics,
particularly in algebra, a
field extension is a pair of
fields K ⊆ L {\displaystyle K\subseteq L} , such that the
operations of K are...
- In logic,
extensionality, or
extensional equality,
refers to
principles that
judge objects to be
equal if they have the same
external properties. It stands...
- Sign
extension (sometimes
abbreviated as ****t,
particularly in mnemonics) is the operation, in
computer arithmetic, of
increasing the
number of bits of...
- Life
extension is the
concept of
extending the
human lifespan,
either modestly through improvements in
medicine or
dramatically by
increasing the maximum...
- theory, a
forking extension of a type is an
extension of that type that is not free[clarify]
whereas a non-forking
extension is an
extension that is as free...
-
abstract algebra, an
algebra extension is the ring-theoretic
equivalent of a
group extension. Precisely, a ring
extension of a ring R by an
abelian group...
- In metaphysics,
extension signifies both 'stretching out' (Latin: extensio) as well as
later 'taking up space', and most recently,
spreading one's internal...
- In mathematics, a
Galois extension is an
algebraic field extension E/F that is
normal and separable; or equivalently, E/F is algebraic, and the field...