Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Carl, Merlin E-mail: https://www.mathnet.ru/eng/person78046 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2012 1. M. Carl, B. Z. Moroz, “On a Diophantine representation of the predicate of provability”, Zap. Nauchn. Sem. POMI, 407 (2012),  77–104    ; J. Math. Sci. (N. Y.), 199:1 (2014), 36–52   2 Organisations University of Konstanz