V. G. Kanovei, “The essentialness of parameters and the complexity of the fundamental formula of the comprehension scheme in second-order arithmetic”, Dokl. Akad. Nauk SSSR, 1978, Volume 243, Number 6,Pages <nobr>1384

MATHEMATICS

The essentialness of parameters and the complexity of the fundamental formula of the comprehension scheme in second-order arithmetic

V. G. Kanovei

Moscow State University of Transportation

UDC: 519.5

Presented: A. N. Kolmogorov
Received: 18.07.1978