Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Goryachev, S V https://www.mathnet.ru/eng/person27065 List of publications on Google Scholar https://mathscinet.ams.org/mathscinet/MRAuthorID/241359 Publications in Math-Net.Ru Citations 1989 1. S. V. Goryachev, “Arithmetic with a local reflection principle for Rosser provability formulas”, Mat. Zametki, 46:3 (1989),  12–21      ; Math. Notes, 46:3 (1989), 689–694   1 1986 2. S. V. Goryachev, “Interpretability of various extensions of arithmetic”, Mat. Zametki, 40:5 (1986),  561–571      ; Math. Notes, 40:5 (1986), 821–827   6