Literature Cited
V. A. Ganov, “Functionals of order types,” Moscow (1980). Manuscript deposited at VINITI, No. 3230-80 Dep.
N. V. Belyakin, “Generalized computations and third-order arithmetic,” Algebra Logika,13, No. 2, 132–144 (1974).
E. Mendelson, Introduction to Mathematical Logic, Van Nostrand, Princeton (1964).
Additional information
Barnaul. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 27, No. 4, pp. 41–51, July–August, 1986.
Rights and permissions
About this article
Cite this article
Ganov, V.A. Computable functionals and arithmetic of ordinal types. Sib Math J 27, 502–510 (1986). https://doi.org/10.1007/BF00969163
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00969163