A hierarchy of sets, II. Algebra i Logika, 7(4):15–47 (1968)

by L Ershov
Venue:In Russian (English translation in Algebra and Logic, 7:212–232