340--53, [40] and [41] are abstracts of these two papers and were received by the (1936)

by -definability, Duke recursiveness
Venue:Mathematics Journal