Edit Profile (opens in new tab) Dragalin, Albert G. Co-Author Distance Author ID: dragalin.albert-g Published as: Dragalin, A. G.; Dragalin, Albert G.; Dragálin, A. G.; Dragálin, Albert G.; Dragálin, A. more...less External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 41 Publications since 1967, including 5 Books 1 Contribution as Editor Biographic References: 2 Publications Co-Authors: 10 Co-Authors with 8 Joint Publications 184 Co-Co-Authors all top 5 Co-Authors 31 single-authored 2 Kolmogorov, Andreĭ Nikolaevich 2 Lyubetsky, Vassily Aleksandrovich 2 Nagornyĭ, Nikolaĭ Makarovich 2 Petri, N. V. 2 Shanin, Nikolaĭ Aleksandrovich 2 Szubbocsev, D. 1 Buzasi, Svetlana 1 Fukson, V. I. 1 Kellermann, E. 1 Martin-Löf, Per 1 Máth, Janos 1 Mints, Grigoriĭ Efroimovich 1 Silver, Ben all top 5 Serials 5 Soviet Mathematics. Doklady 4 Publicationes Mathematicae Debrecen 3 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova 1 Doklady Akademii Nauk SSSR 1 Moscow University Mathematics Bulletin 1 Russian Mathematical Surveys 1 Uspekhi Matematicheskikh Nauk [N. S.] 1 Studia Logica 1 Bulletins for Applied Mathematics 1 Journal of Information Processing and Cybernetics 1 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika 1 Russian Mathematics 1 Semiotika i Informatika 1 Translations of Mathematical Monographs Fields 35 Mathematical logic and foundations (03-XX) 3 History and biography (01-XX) 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 100 times in 90 Documents Cited by ▼ Year ▼ Mathematical intuitionism. Introduction to proof theory. Transl. from the Russian by E. Mendelson, ed. by Ben Silver. Zbl 0634.03054 Dragalin, A. G. 46 1988 Mathematical intuitionism. Introduction to proof theory. (Matematicheskij intuitsionizm. Vvedenie v teoriyu dokazatel’stv.). Zbl 0439.03041 Dragalin, A. G. 19 1979 Introduction to mathematical logic. Textbook. (Vvedenie v matematicheskuyu logiku. Uchebnoe posobie). Zbl 0591.03001 Kolmogorov, A. N.; Dragalin, A. G. 5 1982 New forms of realizability and Markov’s rule. Zbl 0481.03034 Dragalin, A. G. 5 1980 A completeness theorem for higher-order intuitionistic logic: An intuitionistic proof. Zbl 0703.03039 Dragalin, A. G. 4 1987 An explicit Boolean-valued model for non-standard arithmetic. Zbl 0803.03048 Dragalin, Albert G. 3 1993 Transfinite completions of constructive arithmetical calculus. Zbl 0205.31001 Dragalin, A. G. 3 1969 Correctness of inconsistent theories with notions of feasibility. Zbl 0604.03019 Dragalin, A. G. 3 1985 Notes on constructive mathematics. (Ocerki po konstruktivnoi matematike.) Translated from the English by G. E. Minc. Edited by A. G. Dragalin. Zbl 0343.02020 Martin-Löf, Per 2 1975 A completeness theorem for intuitionistic predicate logic. An intuitionistic proof. Zbl 0636.03056 Dragalin, A. G. 2 1987 Mathematical logic. Complementary chapters. Textbook. (Matematicheskaya logika. Dopolnitel’nye glavy. Uchebnoe posobie). Zbl 0591.03002 Kolmogorov, A. N.; Dragalin, A. G. 2 1984 A computability of primitive recursive terms of finite type and the primitive recursive realization. Zbl 0176.27901 Dragalin, A. G. 2 1968 Cut-elimination theorem for higher-order classical logic: An intuitionistic proof. Zbl 0698.03035 Dragalin, A. G. 2 1987 Constructive proof theory and nonstandard analysis. Edited by G. E. Mints. (Конструктивная теория доказательств и нестандартный анализ.) Zbl 1102.03003 Dragalin, A. G. 1 2003 Complete Heyting and Boolean algebras over a partial ordering. Constructive approaches. Zbl 0885.03048 Dragalin, A. G. 1 1995 Explicit algebraic models for constructive and classical theories with non-standard elements. Zbl 0923.03079 Dragalin, Albert G. 1 1995 Completeness and cut-elimination theorems for high-order classical logic. Constructive method. Zbl 0831.03031 Dragalin, A. G. 1 1993 Constructive proof theory and nonstandard analysis. Edited by G. E. Mints. (Конструктивная теория доказательств и нестандартный анализ.) Zbl 1102.03003 Dragalin, A. G. 1 2003 Complete Heyting and Boolean algebras over a partial ordering. Constructive approaches. Zbl 0885.03048 Dragalin, A. G. 1 1995 Explicit algebraic models for constructive and classical theories with non-standard elements. Zbl 0923.03079 Dragalin, Albert G. 1 1995 An explicit Boolean-valued model for non-standard arithmetic. Zbl 0803.03048 Dragalin, Albert G. 3 1993 Completeness and cut-elimination theorems for high-order classical logic. Constructive method. Zbl 0831.03031 Dragalin, A. G. 1 1993 Mathematical intuitionism. Introduction to proof theory. Transl. from the Russian by E. Mendelson, ed. by Ben Silver. Zbl 0634.03054 Dragalin, A. G. 46 1988 A completeness theorem for higher-order intuitionistic logic: An intuitionistic proof. Zbl 0703.03039 Dragalin, A. G. 4 1987 A completeness theorem for intuitionistic predicate logic. An intuitionistic proof. Zbl 0636.03056 Dragalin, A. G. 2 1987 Cut-elimination theorem for higher-order classical logic: An intuitionistic proof. Zbl 0698.03035 Dragalin, A. G. 2 1987 Correctness of inconsistent theories with notions of feasibility. Zbl 0604.03019 Dragalin, A. G. 3 1985 Mathematical logic. Complementary chapters. Textbook. (Matematicheskaya logika. Dopolnitel’nye glavy. Uchebnoe posobie). Zbl 0591.03002 Kolmogorov, A. N.; Dragalin, A. G. 2 1984 Introduction to mathematical logic. Textbook. (Vvedenie v matematicheskuyu logiku. Uchebnoe posobie). Zbl 0591.03001 Kolmogorov, A. N.; Dragalin, A. G. 5 1982 New forms of realizability and Markov’s rule. Zbl 0481.03034 Dragalin, A. G. 5 1980 Mathematical intuitionism. Introduction to proof theory. (Matematicheskij intuitsionizm. Vvedenie v teoriyu dokazatel’stv.). Zbl 0439.03041 Dragalin, A. G. 19 1979 Notes on constructive mathematics. (Ocerki po konstruktivnoi matematike.) Translated from the English by G. E. Minc. Edited by A. G. Dragalin. Zbl 0343.02020 Martin-Löf, Per 2 1975 Transfinite completions of constructive arithmetical calculus. Zbl 0205.31001 Dragalin, A. G. 3 1969 A computability of primitive recursive terms of finite type and the primitive recursive realization. Zbl 0176.27901 Dragalin, A. G. 2 1968 all cited Publications top 5 cited Publications all top 5 Cited by 105 Authors 4 Avigad, Jeremy 4 Zakharov, Valeriĭ Konstantinovich 3 Mints, Grigoriĭ Efroimovich 3 Yashin, Aleksandr D. 2 Andreev, P. V. 2 Bunina, Elena Igor’evna 2 Coquand, Thierry 2 Dyckhoff, Roy 2 Kremer, Philip 2 Kushner, Boris A. 2 Mendler, Michael 2 Mikhalëv, Aleksandr Vasil’evich 2 Onoprienko, Anastasiya A. 2 Parlamento, Franco 2 Previale, Flavio 2 Scheele, Stephan 2 Smith, Jan M. 2 Suzuki, Nobu-Yuki 2 van Atten, Mark 1 Anellis, Irving Henry 1 Arkoudas, Konstantine 1 Artemov, Sergei 1 Awodey, Steve 1 Badia, Guillermo 1 Bazhanov, Valentin A. 1 Bezhanishvili, Guram 1 Burke, Luke Edward 1 Buss, Samuel R. 1 Chagrov, Aleksandr Vasil’evich 1 Chen, Ray-Ming 1 Ciraulo, Francesco 1 Crolard, Tristan 1 Damnjanovic, Zlatan 1 de Paiva, Valeria 1 Dezani-Ciancaglini, Mariangiola 1 Došen, Kosta 1 Dougherty, Dan 1 Dragalin, Albert G. 1 Drobyshevich, Sergeĭ Andreevich 1 Eades, Harley III 1 French, Rohan 1 Gallier, Jean H. 1 Gambino, Nicola 1 Gaspar, Jaime 1 Gherardi, Guido 1 Goldblatt, Robert Ian 1 Gorbunov, Igor’ Anatol’evich 1 Gordon, Evgeniĭ Izrail’evich 1 Hahanyan, V. H. 1 Hernest, Mircea-Dan 1 Hyvernat, Pierre 1 Iemhoff, Rosalie 1 Khachatryan, M. A. 1 Kishida, Kohei 1 Kohlenbach, Ulrich Wilhelm 1 Kripke, Saul A. 1 Lengrand, Stéphane Jean Eric 1 Lescanne, Pierre 1 Litak, Tadeusz 1 Lovyagin, Nikita Y. 1 Lovyagin, Yuri N. 1 Maffezioli, Paolo 1 Makarov, V. P. 1 Massas, Guillaume 1 Moerdijk, Ieke 1 Moniri, Mojtaba 1 Moniri, Morteza 1 Nadathur, Gopalan 1 Nogina, Elena 1 Okada, Mitsuhiro 1 Olkhovikov, Grigory K. 1 Orevkov, V. P. 1 Orlandelli, Eugenio 1 Pak, V. G. 1 Palmgren, Erik 1 Pavlov, V. A. 1 Pfenning, Frank 1 Plisko, Valerii E. 1 Plisko, Valery 1 Pliuškevičius, Regimantas 1 Poggiolesi, Francesca 1 Rathjen, Michael 1 Rinaldi, Davide 1 Romm, Ya. E. 1 Sambin, Giovanni 1 Sano, Katsuhiko 1 Sazonov, Vladimir Yu. 1 Schroeder-Heister, Peter Joseph 1 Schuster, Peter Michael 1 Skvortsov, Dmitrij 1 Tishkovsky, Dmitry 1 Towsner, Henry 1 Tranchini, Luca 1 Troelstra, Anne Sjerp 1 Valentini, Silvio 1 van Bakel, Steffen 1 van Oosten, Jaap 1 Visser, Albert 1 Vladimirov, Andrei G. 1 Wansing, Heinrich Theodor ...and 5 more Authors all top 5 Cited in 28 Serials 13 Annals of Pure and Applied Logic 8 Studia Logica 6 Theoretical Computer Science 5 Mathematical Notes 5 Indagationes Mathematicae. New Series 5 The Review of Symbolic Logic 4 Journal of Mathematical Sciences (New York) 3 Information and Computation 3 Archive for Mathematical Logic 3 The Bulletin of Symbolic Logic 2 Algebra and Logic 2 Journal of Philosophical Logic 2 The Journal of Symbolic Logic 2 Cybernetics and Systems Analysis 1 Lithuanian Mathematical Journal 1 Algebra Universalis 1 Journal of Soviet Mathematics 1 Notre Dame Journal of Formal Logic 1 Programming and Computer Software 1 Synthese 1 Journal of Automated Reasoning 1 Russian Mathematics 1 Doklady Mathematics 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic 1 Proceedings of the Steklov Institute of Mathematics 1 Axioms 1 Logicheskie Issledovaniya all top 5 Cited in 13 Fields 83 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 6 Category theory; homological algebra (18-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Real functions (26-XX) 2 General topology (54-XX) 1 General algebraic systems (08-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.