Kenneth Kunen. Set theory, An introduction to independence proofs. Studies in
Logic and the Foundations of Mathematics Vol. 102, (North-Holland, 1980).
Peter Koepke,
Infinite Time Register Machines.
In: Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
(eds.), Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings. Lecture Notes in Computer Science Vol. 3988, (Springer, 2006),
257-266.
Peter Koepke, Russell G. Miller. An Enhanced Theory of Infinite
Time Register Machines. In: Arnold Beckmann, Costas Dimitracopoulos, Benedikt
Löwe (eds.). Logic and Theory of Algorithms, 4th Conference on Computability
in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings. Lecture Notes
in Computer Science Vol. 5028, (Springer, 2008), 306-315.
Merlin Carl, Benedikt Löwe, Benjamin G. Rin. Koepke Machines and
Satisfiability for Infinitary Propositional Languages. In: Jarkko Kari,
Florin Manea, Ion Petre (eds.). Unveiling Dynamics and Complexity, 13th
Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16,
2017, Proceedings. Lecture Notes in Computer Science Vol. 10307, (Springer,
2017), 187-197.