The basic theory of infinite time register machines. - Merlin Carl; Tim Fischbach; Peter Koepke; Russell G. Miller; Miriam Nasfi; Gregor Weckbecker (Arch. Math. Log., 2010)