previous up next
Go backward to Example
Go up to Top
Go forward to Series
RISC-Linz logo

Limit Quantor

Definition: For every variable i and term T, the following phrase represents a term with bound variable i:

limi -> oo T

The value of this term is that of the term


Further Results: see lecture notes.

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next