Berechenbare Folge

Eine Folge mit ${\displaystyle a_{i}\in A,i\in B}$ heißt genau dann berechenbar, wenn es eine berechenbare Funktion ${\displaystyle f\colon B\to A}$ gibt mit ${\displaystyle f(i)=a_{i}}$.

• Rekursive Aufzählbarkeit