E. S. Bozhich, “On arithmetic with the notion of “attainable number””, Izv. Akad. Nauk SSSR Ser. Mat., 50:6 (1986), 1123–1155; Math. USSR-Izv., 29:3 (1987), 477–510
1985
2.
E. S. Bozhich, “Local consistency of an arithmetic with an “attainability”' predicate”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1985, no. 5, 37–41
