RUS
ENG
Full version
JOURNALS
// Uspekhi Matematicheskikh Nauk
// Archive
Uspekhi Mat. Nauk,
1982
Volume 37,
Issue 4(226),
Pages
179–180
(Mi rm3852)
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
Second-order arithmetic and the consistency of first-order theories
V. I. Stepanov
MSC:
03F35
,
03F40
,
03F03
Received:
16.04.1982
Fulltext:
PDF file (107 kB)
References
English version:
Russian Mathematical Surveys, 1982,
37
:4,
139–140
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (107 kB)
