1. Friedman, H.M., Simpson, S.G., Smith, R.L.: Countable algebra and set existence axioms. Ann. Pure Appl. Logic25, 141–181 (1983)
2. Groszek, M.J., Slaman, T.A.: Foundations of the priority method I: Finite and infinite injury. Preprint.
3. Kontostathis, K.: Priority theory. Preprint
4. Kirby, L.A.S., Paris, J.B.: 112-1 schemas in arithmetic. Logic Colloquim'77, pp. 199–209. Amsterdam: North Holland 1978
5. Lachlan, A.H.: On some games relevant to the theory of recursively enumerable sets. Ann. Math.91 (2), 291–310 (1970)