О роли принципа индукции в формальной арифметической системе
Matematičeskij sbornik, Tome 119 (1968) no. 1, pp. 71-104
Cet article a éte moissonné depuis la source European Digital Mathematics Library
Mots-clés :
теория множеств, формальные системы, классы регулярности, нигде не примитивно-рекурсивные функции, формулы, не принадлежащие классам регулярности, set theory, set theory
@article{MS_1968__119_1_a4,
author = {{\CYRL}.{\CYRL}. {\CYRC}{\cyri}{\cyrn}{\cyrm}{\cyra}{\cyrn}},
title = {{\CYRO} {\cyrr}{\cyro}{\cyrl}{\cyri} {\cyrp}{\cyrr}{\cyri}{\cyrn}{\cyrc}{\cyri}{\cyrp}{\cyra} {\cyri}{\cyrn}{\cyrd}{\cyru}{\cyrk}{\cyrc}{\cyri}{\cyri} {\cyrv} {\cyrf}{\cyro}{\cyrr}{\cyrm}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrishrt} {\cyra}{\cyrr}{\cyri}{\cyrf}{\cyrm}{\cyre}{\cyrt}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyro}{\cyrishrt} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm}{\cyre}},
journal = {Matemati\v{c}eskij sbornik},
pages = {71--104},
year = {1968},
volume = {119},
number = {1},
zbl = {0165.01803},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MS_1968__119_1_a4/}
}
Л.Л. Цинман. О роли принципа индукции в формальной арифметической системе. Matematičeskij sbornik, Tome 119 (1968) no. 1, pp. 71-104. http://geodesic.mathdoc.fr/item/MS_1968__119_1_a4/