|
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
Second-order arithmetic and the consistency of first-order theories
V. I. Stepanov
Received: 16.04.1982
Citation:
V. I. Stepanov, “Second-order arithmetic and the consistency of first-order theories”, Russian Math. Surveys, 37:4 (1982), 139–140
Linking options:
https://www.mathnet.ru/eng/rm3852https://doi.org/10.1070/RM1982v037n04ABEH003977 https://www.mathnet.ru/eng/rm/v37/i4/p179
|
Statistics & downloads: |
Abstract page: | 441 | Russian version PDF: | 207 | English version PDF: | 24 | References: | 47 | First page: | 1 |
|