Literature cited
N. V. Belyakin, "Generalized calculi and the third stage arithmetic," Algebra Logika,13, No. 2, 132–144 (1974).
N. V. Belyakin, "Iterated Kline calculability and the superjump," Mat. Sb.,101, No. 1, 21–43 (1976).
N. V. Belyakin, "Generalized calculi and the second stage arithmetic," Algebra Logika,9, No. 4, 375–407 (1970).
N. V. Belyakin, "Autonomic calculability," Algebra Logika,18, No. 4, 398–407 (1979).
N. V. Belyakin, "Generalized calculi," Tr. Mat. Inst. im. V. A. Steklova,133, 59–64 (1973).
N. N. Luzin, "Lectures on analytic sets and theory applications," Sobr. Soch.,2, Izd. Akad. Nauk SSSR (1958).
Additional information
Translated from Algebra i Logika, Vol. 22, No. 1, pp. 3–25, January–February, 1983.
Rights and permissions
About this article
Cite this article
Belyakin, N.V. A method of modeling a classical second stage arithmetic. Algebra and Logic 22, 1–18 (1983). https://doi.org/10.1007/BF01979645
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01979645