S. N. Artemov, “Degrees of insolubility of extensions of arithmetic by true propositions”, Uspekhi Mat. Nauk, 1988, Volume 43, Issue 2(260),Pages <nobr>127

JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 1988 Volume 43, Issue 2(260), Pages 127–128 (Mi rm1806)

In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society

Degrees of insolubility of extensions of arithmetic by true propositions

S. N. Artemov

MSC: 03D28, 03F40

Received: 15.10.1986

Fulltext: PDF file (154 kB)
References

English version: Russian Mathematical Surveys, 1988, 43:2, 159–160

Bibliographic databases: