×

Dragalin, Albert G.

Author ID: dragalin.albert-g Recent zbMATH articles by "Dragalin, Albert G."
Published as: Dragalin, A. G.; Dragalin, Albert G.; Dragálin, A. G.; Dragálin, Albert G.; Dragálin, A.
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

Publications by Year

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 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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.