RUS  ENG
Full version
JOURNALS // Uspekhi Matematicheskikh Nauk // Archive

Uspekhi Mat. Nauk, 1997 Volume 52, Issue 2(314), Pages 185–186 (Mi rm843)

This article is cited in 1 paper

In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society

Definability of the set of all true propositions of arithmetic by passage to the limit

A. I. Serebryanyi


MSC: 03F40, 03B05, 03F60

Accepted: 29.10.1996

DOI: 10.4213/rm843


 English version:
Russian Mathematical Surveys, 1997, 52:2, 422–423

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024