- An
infinitary logic is a
logic that
allows infinitely long
statements and/or
infinitely long proofs. The
concept was
introduced by
Zermelo in the 1930s...
- arity, i.e. if it has a
finite number of
input values. Similarly, an
infinitary operation is one with an
infinite number of
input values. In standard...
- In mathematics,
infinitary combinatorics, or
combinatorial set theory, is an
extension of
ideas in
combinatorics to
infinite sets. Some of the
things studied...
-
numbers as its domain. Many
extensions of first-order logic,
including infinitary logics and higher-order logics, are more
expressive in the
sense that...
-
ternary operation. Generally, the
arity is
taken to be finite. However,
infinitary operations are
sometimes considered, in
which case the "usual" operations...
-
arithmetic combinatorics is the
ergodic theory of
dynamical systems.
Infinitary combinatorics, or
combinatorial set theory, is an
extension of
ideas in...
- the fact that if a
cardinal is
weakly compact then a
certain related infinitary language satisfies a
version of the
compactness theorem; see below. The...
-
extension to
infinitary operations.
Especially in
order theory one
finds numerous important variants of distributivity, some of
which include infinitary operations...
- the
context is clear). It is also
possible to
generalize the
concept to
infinitary relations with
infinite sequences. When two objects, qualities, classes...
- rule. An
example of a rule that is not
effective in this
sense is the
infinitary ω-rule. Po****r
rules of
inference in
propositional logic include modus...
