-
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...
- Life
extension is the
concept of
extending the
human lifespan,
either modestly through improvements in
medicine or
dramatically by
increasing the maximum...
- 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...
- 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...
- Sign
extension (sometimes
abbreviated as ****t,
particularly in mnemonics) is the operation, in
computer arithmetic, of
increasing the
number of bits of...
- In logic,
extensionality, or
extensional equality,
refers to
principles that
judge objects to be
equal if they have the same
external properties. It stands...
- In metaphysics,
extension signifies both 'stretching out' (Latin: extensio) as well as
later 'taking up space', and most recently,
spreading one's internal...
- The X
video extension,
often abbreviated as
XVideo or Xv, is a
video output mechanism for the X
Window System. The
protocol was
designed by
David Carver;...
-
simple extension is a
field extension that is
generated by the
adjunction of a
single element,
called a
primitive element.
Simple extensions are well...
