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

Sequence Quantor

Definition: For every variable i and term T, the phrase

is a term with bound variable i whose value is the sequence
[T]i: N -> R
[T]i(i) := T.

Example: [a2+c]a = [0+c, 1+c, 4+c, 9+c, ...].

Author: Wolfgang Schreiner
Last Modification: December 14, 1999

previous up next