infinitary
Adjective
Meaning
infinitary (not comparable)
(mathematics, logic) Of or pertaining to expressions of infinite length
Antonyms
Related terms
Examples
Finally, some questions arising from model theory (such as compactness for infinitary logics) have been shown to be equivalent to large cardinal axioms.
For example, infinitary logics permit formulas of infinite size, and modal logics add symbols for possibility and necessity.
Infinitary generalizations of commutative semigroups have sometimes been considered by various authors.
Infinitary combinatorics main Infinitary combinatorics, or combinatorial set theory, is an extension of ideas in combinatorics to infinite sets.
Infinitary logic generalizes first-order logic to allow formulas of infinite length.
Infinitary logics main Infinitary logic allows infinitely long sentences.