III.D83 — Kleene Fixed Point

Self-application operator S(c) = (c+c) mod M_k and its fixed points. At every finite stage, c=0 is always a fixed point. Models Kleene's recursion theorem constructively on Z/M_k Z.