infinitary


Also found in: Wikipedia.

infinitary

(ɪnˈfɪnɪtərɪ)
adj
(Logic) logic pertaining or involving the concept of infinity
References in periodicals archive ?
Leuenberger identifies a gap in an influential argument for the entailment, due to Frank Jackson and Robert Stalnaker, and draw on the model theory of infinitary languages to argue that some globally supervening properties are not reducible.
Let [D.sup.[infinity]](n) be the set of infinitary divisors of n introduced and studied by Cohen [3, 7].
They discuss computability in mathematics and the mathematics of universality, the theory of types, analytic number theory, cryptology, and enigmatic statistics; the computation of processes, including Turing's neural models; mathematical morphogenetic research; the relationship of computability to the physical world and its quantum-mechanical nature; and infinitary computation and the physics of the mind.
Consider for example the sort of infinitary paraphrase strategy Rayo discusses in section 7.4.
Weir maintains that by invoking an appropriate notion of idealization and giving up on our unfounded prejudice against infinitary proofs, his account can be made to work.
Yet how is this recognizably infinitary capacity underlain by our actual contact, in learning or communication, with a finite number of discrete signs (or sign-types) and a finite number of symbolic expressions of the rules for using them?
Since the strip is infinite, an infinitary operation would do, but that wouldn't give us much to work with.
This mathematics textbook for advanced students and practitioners explores the expansion of modern model theory from Morley's categoricity theorem to applications in infinitary logic, providing a unified and systematic study of these ideas.