1: \begin{definition}[Antithesis of Specker's Theorem]

2: We call $\AS:\In\IR^\IN\mto\IN\times\IN$ with

3: \[\AS(x_n) := \{(N,k)\in \IN\times \IN:(\fa x\in[0,1])(\fa n\geq N)|x_n-x|>2^{-k}\}\]

4: and 

5: $\dom(\AS):=\{(x_n) \in \bbR^\bbN:(\fa x\in [0,1])(\ex N, k)(\fa n\geq N)|x_n-x|>2^{-k}\}$

6: the {\em antithesis of Specker's Theorem}.

7: \end{definition}