Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Vladimirov, Aleksei Germanovich E-mail: https://www.mathnet.ru/eng/person30455 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2011 1. A. G. Vladimirov, “Effectivity Properties of Intuitionistic Set Theory with Collection Scheme”, Mat. Zametki, 89:5 (2011),  658–672    ; Math. Notes, 89:5 (2011), 619–632     1 Presentations in Math-Net.Ru 1. Elimination of Church's thesis from the proofs of negative formulae in intuitionistic set theory A. G. Vladimirov "Algorithmic problems in algebra and logic" (S.I.Adian seminar) April 3, 2012 18:30 Organisations Maimonid State Classical Academy, Moscow