# infinitary

Also found in: Wikipedia.

## infinitary

(ɪnˈfɪnɪtərɪ)
(Logic) logic pertaining or involving the concept of infinity
References in periodicals archive ?
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.
The objective of InfTy is to devise mathematical methods for reasoning about programs manipulating infinite objects, developing compositional typed formalisms and integrating them with infinitary rewriting techniques.
Entre sus publicaciones se encuentran "Anti-realism and infinitary proofs" (Analisis Filosofico, 2012), "La paradoja de Fitch y los mundos epistemicos abiertos" (Manuscrito, 2014).
Consider for example the sort of infinitary paraphrase strategy Rayo discusses in section 7.
In connection with this, the paper discusses some technical issues concerning infinitary type theories and the program of developing the semantics for higher-order languages in other higher-order languages.
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.
In Read's case, the proposition expressed by the Liar can be shown to receive a determinate truth-value by appeal to an argument which, when properly expressed, requires an infinitary language.
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.
A combinatorial problem; stability and order for models and theories in infinitary languages.
Site: Follow: Share:
Open / Close