-
cardinal Extension (model theory)
Extension (proof theory)
Extension (predicate logic), the set of
tuples of
values that
satisfy the
predicate Extension (semantics)...
-
filename extension, file name
extension or file
extension is a
suffix to the name of a
computer file (for example, .txt, .mp3, .exe). The
extension indicates...
- 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...
- Life
extension is the
concept of
extending the
human lifespan,
either modestly through improvements in
medicine or
dramatically by
increasing the maximum...
- A
browser extension is a
software module for
customizing a web browser.
Browsers typically allow users to
install a
variety of
extensions,
including user...
-
simple extension is a
field extension that is
generated by the
adjunction of a
single element,
called a
primitive element.
Simple extensions are well...
- In metaphysics,
extension signifies both 'stretching out' (Latin: extensio) as well as
later 'taking up space', and most recently,
spreading one's internal...
- Sign
extension (sometimes
abbreviated as ****t,
particularly in mnemonics) is the operation, in
computer arithmetic, of
increasing the
number of bits of...
- 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 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...
