On the Goldbach conjecture and the consistency of general recursive arithemetic. H.A. Pogorzelski (1974) Journal für die reine und angewandte Mathematik
On the relation of Σ -reducibility between admissible sets. Morozov, A.S. (2004) Sibirskij Matematicheskij Zhurnal
On two problems of mice Pultr, A., Úlehla, J. (1982) Proceedings of the 10th Winter School on Abstract Analysis