Edit Profile (opens in new tab) Morozov, Andreĭ Sergeevich Compute Distance To: Compute Author ID: morozov.andrei-sergeevich Published as: Morozov, A. S.; Morozov, Andrei S.; Morozov, Andrei; Morozov, Andrey; Morozov, Andrey S.; Morozov, Andrej; Morozov, A. Further Spellings: Морозов Андрей Сергеевич Homepage: http://math.nsc.ru/~asm256/ External Links: Math-Net.Ru Documents Indexed: 107 Publications since 1982 3 Contributions as Editor Reviewing Activity: 356 Reviews Co-Authors: 109 Co-Authors with 46 Joint Publications 1,908 Co-Co-Authors all top 5 Co-Authors 60 single-authored 11 Harizanov, Valentina S. 8 Goncharov, Sergeĭ Savost’yanovich 5 Mazurov, Viktor Danilovich 5 Puzarenko, Vadim G. 4 Dimitrov, Rumen D. 4 Knight, Julia F. 4 Korovina, Margarita Vladimirovna 3 Calvert, Wesley 3 Kasymov, Nadimulla Khabibullaevich 3 Koepke, Peter 3 Maksimova, Larisa L’vovna 3 Odintsov, Sergei P. 3 Tusupov, Dzhamalbek Aliaskarovich 3 Vasil’ev, Andreĭ Viktorovich 2 Alaev, Pavel Evgenievich 2 Cenzer, Douglas 2 Churkin, Valerii Avdeevich 2 Ershov, Yuriĭ Leonidovich 2 Kolesnikov, Pavel Sergeevich 2 Kudinov, Oleg Victorovich 2 Lavrov, Igor Andreevich 2 Mal’tsev, Arkadiĭ Anatol’evich 2 McCoy, Charles F. D. 2 Pal’chunov, Dimitriĭ Evgen’evich 2 Palyutin, Evgeniĭ Andreevich 2 Samokhvalov, K. F. 2 Truss, John Kenneth 2 Vdovin, Evgeniĭ Petrovich 2 Wagner, Klaus W. 1 Baizhanov, Bektur Sembiuly 1 Beklemishev, Lev D. 1 Belyakin, N. V. 1 Berger, Ulrich 1 Bogopol’skiĭ, O. V. 1 Borovkov, Aleksandr Alekseevich 1 Brattka, Vasco 1 Buzykaeva, A. N. 1 Carson, Jacob 1 Chatzidakis, Zoé Maria 1 Chubb, Jennifer 1 Filyurin, A. S. 1 Fokina, Ekaterina B. 1 Frid, Anna Èduardovna 1 Godunov, Sergeĭ Konstantinovich 1 Grechkoseeva, Mariya Aleksandrovna 1 Gruenko, I. S. 1 Kasymkanuly, Boribaj 1 Kasymkhanuly, B. 1 Khisamiev, Nazif Garrifullinovich 1 Khodzhamuratova, I. A. 1 Khoussainov, Bakhadyr M. 1 Khramtsov, D. G. 1 Konovalov, Anatoly Nikolaevich 1 Kopytov, Valerij M. 1 Korotkova, R. M. 1 Kozlov, Valeriĭ Vasil’evich 1 Kulpeshov, Beibut Shaiykovich 1 Lange, Karen 1 Lempp, Steffen 1 L’vova, M. A. 1 Mal’tsev, Ivan Anatol’evich 1 Matiyasevich, Yuriĭ Vladimirovich 1 Mikhajlenko, B. G. 1 Miller, Russell G. 1 Moskvitin, A. A. 1 Nies, André Otfrid 1 Ovchinnikova, E. V. 1 Parshin, Alexei N. 1 Peryazev, Nikolaĭ Alekseevich 1 Pingrey, Sarah 1 Pinus, Aleksandr Georgievich 1 Pobedin, L. N. 1 Poizat, Bruno Petrovich 1 Ponomaryov, Denis K. 1 Pozhidaev, Aleksandr Petrovich 1 Quinn, Sara 1 Remeslennikov, Vladimir Nikanorovich 1 Reshetnyak, Yuriĭ Grigor’evich 1 Revin, Danila Olegovitch 1 Romanovskii, N. S. 1 Romina, A. V. 1 Ryanskin, A. N. 1 Ryaskin, A. N. 1 Rybakov, Vladimir Vladimirovich 1 Rybalchenko, Andrey 1 Rychkov, K. L. 1 Safranski, C. 1 Satekbaeva, A. Zh. 1 Schupp, Paul E. 1 Schwdefsky, M. V. 1 Schwidefsky, Marina V. 1 Shafer, Paul 1 Shegirov, K. M. 1 Shestakov, Ivan Pavlovich 1 Smirnov, Dmitrii Matveevich 1 Solomon, Reed 1 Soskova, Alexandra A. 1 Spreen, Dieter 1 Starchenko, Sergei 1 Stepanova, Alena Andreevna ...and 11 more Co-Authors all top 5 Serials 25 Algebra and Logic 13 Siberian Mathematical Journal 13 Sibirskiĭ Matematicheskiĭ Zhurnal 10 Algebra i Logika 6 Vychislitel’nye Sistemy 5 Annals of Pure and Applied Logic 4 Sibirskie Èlektronnye Matematicheskie Izvestiya 3 The Journal of Symbolic Logic 2 Mathematical Notes 2 Russian Mathematical Surveys 1 International Journal of Modern Physics A 1 Physics Letters. B 1 Journal of the London Mathematical Society. Second Series 1 Soviet Mathematics. Doklady 1 Transactions of the American Mathematical Society 1 Order 1 Siberian Advances in Mathematics 1 L’Enseignement Mathématique. 2e Série 1 Mathematical Logic Quarterly (MLQ) 1 Doklady Mathematics 1 Theory of Computing Systems 1 Journal of High Energy Physics 1 The Journal of Logic and Algebraic Programming 1 Vladikavkazskiĭ Matematicheskiĭ Zhurnal 1 Lecture Notes in Computer Science all top 5 Fields 100 Mathematical logic and foundations (03-XX) 19 Group theory and generalizations (20-XX) 13 Computer science (68-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 5 History and biography (01-XX) 4 General and overarching topics; collections (00-XX) 3 Quantum theory (81-XX) 2 General algebraic systems (08-XX) 2 Field theory and polynomials (12-XX) 2 General topology (54-XX) 1 Real functions (26-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 53 Publications have been cited 230 times in 128 Documents Cited by ▼ Year ▼ Effective categoricity of equivalence structures. Zbl 1103.03037Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 37 2006 More evidence for the WDVV equations in \(\mathcal N=\) 2 SUSY Yang-Mills theories. Zbl 1035.81561Marshakov, A.; Mironov, A.; Morozov, A. 18 2000 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 16 2012 \(\Sigma\)-subsets of natural numbers. Zbl 1115.03051Morozov, A. S.; Puzarenko, V. G. 13 2004 Groups of computable automorphisms. Zbl 0940.03047Morozov, A. S. 10 1998 Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei 10 2009 Some presentations of the real number field. Zbl 1334.03039Morozov, A. S. 9 2012 \(\Sigma\)-definability of countable structures over real numbers, complex numbers, and quaternions. Zbl 1164.03332Morozov, A. S.; Korovina, M. V. 8 2008 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 7 2007 On computable automorphisms of the rational numbers. Zbl 0990.03034Morozov, A. S.; Truss, J. K. 5 2001 Permutations and implicit definability. Zbl 0667.03026Morozov, A. S. 5 1988 On \(\Sigma\)-rigid presentations of the real order. Zbl 1314.03035Morozov, A. S. 5 2014 Definability of linear orders over negative equivalences. Zbl 1358.03043Kasymov, N. Kh.; Morozov, A. S. 4 2016 Groups of recursive automorphisms of constructive Boolean algebras. Zbl 0549.03031Morozov, A. S. 4 1983 Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S. 4 2005 Finitely generated groups and first-order logic. Zbl 1091.03014Morozov, A.; Nies, A. 4 2005 The computational power of infinite time Blum-Shub-Smale machines. Zbl 1420.03111Koepke, P.; Morozov, A. S. 4 2017 Simple structures with complex symmetry. Zbl 1195.03041Harizanov, Valentina; Miller, R.; Morozov, A. S. 4 2010 Turing reducibility as algebraic embeddability. Zbl 0937.03052Morozov, A. S. 4 1997 On decidability of the decomposability problem for finite theories. Zbl 1226.03022Morozov, Andrey S.; Ponomaryov, Denis K. 4 2010 A sufficient condition for nonpresentability of structures in hereditarily finite superstructures. Zbl 1402.03051Morozov, A. S. 4 2016 On \(\Sigma\)-definability without equality over the real numbers. Zbl 1155.03045Morozov, Andrei S.; Korovina, Margarita V. 4 2008 \(\Sigma\)-presentations of the ordering on the reals. Zbl 1323.03047Morozov, A. S. 3 2014 Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\). Zbl 1386.03038Morozov, A. S. 3 2014 Computable groups of automorphisms of models. Zbl 0631.03019Morozov, A. S. 3 1986 Elementary submodels of parametrizable models. Zbl 1115.03032Morozov, A. S. 3 2006 Nonpresentability of some structures of analysis in hereditarily finite superstructures. Zbl 1420.03076Morozov, A. S. 3 2018 Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 1477.03164Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei 2 2016 On existential interpretability of structures. Zbl 1354.03044Morozov, A. S.; Satekbaeva, A. Zh.; Tussupov, J. A. 2 2014 On the relation of \(\Sigma\)-reducibility between admissible sets. Zbl 1097.03039Morozov, A. S. 2 2004 Rigid constructive modules. Zbl 0702.03012Morozov, A. S. 2 1989 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 Functional trees and automorphisms of models. Zbl 0793.03037Morozov, A. S. 2 1993 One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\)). Zbl 1344.03035Morozov, Andrey S. 1 2014 On some reducibility and existential interpretability of structures. Zbl 1420.03075Morozov, A. S. 1 2017 A class of recursively enumerable sets. Zbl 0643.03029Morozov, A. S. 1 1987 Group \(Aut_ r<Q,\leq >\) is not constructivizable. Zbl 0574.03028Morozov, A. S. 1 1984 Constructive Boolean algebras with almost-identical automorphisms. Zbl 0597.03027Morozov, A. S. 1 1985 On the decidability of theories of Boolean algebras with isolated ideal. Zbl 0499.03030Morozov, A. S. 1 1982 A decidable countably categorical model without nontrivial recursive automorphisms. Zbl 0685.03027Morozov, A. S. 1 1989 Elementary properties of groups of recursive permutations. Zbl 0692.03024Morozov, A. S. 1 1989 Rigid constructive modules. Zbl 0707.03027Morozov, A. S. 1 1989 On the theories of classes of recusive permutation groups. Zbl 0717.03012Morozov, A. S. 1 1991 Higman’s question revisited. Zbl 0956.20025Morozov, A. S. 1 2000 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 Presentability of groups of \(\Sigma\)-definable permutations over admissible sets. Zbl 1016.03042Morozov, A. S. 1 2002 On a hierarchy of groups of computable automorphisms. Zbl 1018.03039Morozov, A. S.; Buzykaeva, A. N. 1 2002 On effective presentations of formal concept lattices. Zbl 1224.03016Morozov, A. S. 1 2009 Strong constructivizability of countable saturated Boolean algebras. Zbl 0526.03016Morozov, A. S. 1 1983 Superintegrability and Kontsevich-Hermitian relation. Zbl 07408732Mironov, A.; Morozov, A. 1 2021 \(T_1\)-separable numberings of subdirectly indecomposable algebras. Zbl 07456762Kasymov, N. Kh.; Morozov, A. S.; Khodzhamuratova, I. A. 1 2021 Characterizations of ITBM-computability. I. Zbl 07350227Koepke, P.; Morozov, A. S. 1 2021 The categoricity of the group of all computable automorphisms of the rational numbers. Zbl 1164.03333Morozov, A. S.; Truss, J. K. 1 2007 Superintegrability and Kontsevich-Hermitian relation. Zbl 07408732Mironov, A.; Morozov, A. 1 2021 \(T_1\)-separable numberings of subdirectly indecomposable algebras. Zbl 07456762Kasymov, N. Kh.; Morozov, A. S.; Khodzhamuratova, I. A. 1 2021 Characterizations of ITBM-computability. I. Zbl 07350227Koepke, P.; Morozov, A. S. 1 2021 Nonpresentability of some structures of analysis in hereditarily finite superstructures. Zbl 1420.03076Morozov, A. S. 3 2018 The computational power of infinite time Blum-Shub-Smale machines. Zbl 1420.03111Koepke, P.; Morozov, A. S. 4 2017 On some reducibility and existential interpretability of structures. Zbl 1420.03075Morozov, A. S. 1 2017 Definability of linear orders over negative equivalences. Zbl 1358.03043Kasymov, N. Kh.; Morozov, A. S. 4 2016 A sufficient condition for nonpresentability of structures in hereditarily finite superstructures. Zbl 1402.03051Morozov, A. S. 4 2016 Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 1477.03164Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei 2 2016 On \(\Sigma\)-rigid presentations of the real order. Zbl 1314.03035Morozov, A. S. 5 2014 \(\Sigma\)-presentations of the ordering on the reals. Zbl 1323.03047Morozov, A. S. 3 2014 Nonpresentability of the semigroup \(\omega^\omega\) over \(\mathbb H\mathbb F(\mathbb R)\). Zbl 1386.03038Morozov, A. S. 3 2014 On existential interpretability of structures. Zbl 1354.03044Morozov, A. S.; Satekbaeva, A. Zh.; Tussupov, J. A. 2 2014 One-dimensional \(\Sigma\)-presentations of structures over \(\mathrm{HF}(\mathbb R\)). Zbl 1344.03035Morozov, Andrey S. 1 2014 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 16 2012 Some presentations of the real number field. Zbl 1334.03039Morozov, A. S. 9 2012 Simple structures with complex symmetry. Zbl 1195.03041Harizanov, Valentina; Miller, R.; Morozov, A. S. 4 2010 On decidability of the decomposability problem for finite theories. Zbl 1226.03022Morozov, Andrey S.; Ponomaryov, Denis K. 4 2010 Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei 10 2009 On effective presentations of formal concept lattices. Zbl 1224.03016Morozov, A. S. 1 2009 \(\Sigma\)-definability of countable structures over real numbers, complex numbers, and quaternions. Zbl 1164.03332Morozov, A. S.; Korovina, M. V. 8 2008 On \(\Sigma\)-definability without equality over the real numbers. Zbl 1155.03045Morozov, Andrei S.; Korovina, Margarita V. 4 2008 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 7 2007 The categoricity of the group of all computable automorphisms of the rational numbers. Zbl 1164.03333Morozov, A. S.; Truss, J. K. 1 2007 Effective categoricity of equivalence structures. Zbl 1103.03037Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 37 2006 Elementary submodels of parametrizable models. Zbl 1115.03032Morozov, A. S. 3 2006 Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S. 4 2005 Finitely generated groups and first-order logic. Zbl 1091.03014Morozov, A.; Nies, A. 4 2005 On automorphic tuples of elements in computable models. Zbl 1224.03013Goncharov, S. S.; Harizanov, V. S.; Knight, J. F.; Morozov, A. S.; Romina, A. V. 2 2005 \(\Sigma\)-subsets of natural numbers. Zbl 1115.03051Morozov, A. S.; Puzarenko, V. G. 13 2004 On the relation of \(\Sigma\)-reducibility between admissible sets. Zbl 1097.03039Morozov, A. S. 2 2004 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 Presentability of groups of \(\Sigma\)-definable permutations over admissible sets. Zbl 1016.03042Morozov, A. S. 1 2002 On a hierarchy of groups of computable automorphisms. Zbl 1018.03039Morozov, A. S.; Buzykaeva, A. N. 1 2002 On computable automorphisms of the rational numbers. Zbl 0990.03034Morozov, A. S.; Truss, J. K. 5 2001 More evidence for the WDVV equations in \(\mathcal N=\) 2 SUSY Yang-Mills theories. Zbl 1035.81561Marshakov, A.; Mironov, A.; Morozov, A. 18 2000 Higman’s question revisited. Zbl 0956.20025Morozov, A. S. 1 2000 Groups of computable automorphisms. Zbl 0940.03047Morozov, A. S. 10 1998 Turing reducibility as algebraic embeddability. Zbl 0937.03052Morozov, A. S. 4 1997 Functional trees and automorphisms of models. Zbl 0793.03037Morozov, A. S. 2 1993 On the theories of classes of recusive permutation groups. Zbl 0717.03012Morozov, A. S. 1 1991 Rigid constructive modules. Zbl 0702.03012Morozov, A. S. 2 1989 A decidable countably categorical model without nontrivial recursive automorphisms. Zbl 0685.03027Morozov, A. S. 1 1989 Elementary properties of groups of recursive permutations. Zbl 0692.03024Morozov, A. S. 1 1989 Rigid constructive modules. Zbl 0707.03027Morozov, A. S. 1 1989 Permutations and implicit definability. Zbl 0667.03026Morozov, A. S. 5 1988 A class of recursively enumerable sets. Zbl 0643.03029Morozov, A. S. 1 1987 Computable groups of automorphisms of models. Zbl 0631.03019Morozov, A. S. 3 1986 Constructive Boolean algebras with almost-identical automorphisms. Zbl 0597.03027Morozov, A. S. 1 1985 Group \(Aut_ r<Q,\leq >\) is not constructivizable. Zbl 0574.03028Morozov, A. S. 1 1984 Groups of recursive automorphisms of constructive Boolean algebras. Zbl 0549.03031Morozov, A. S. 4 1983 Strong constructivizability of countable saturated Boolean algebras. Zbl 0526.03016Morozov, A. S. 1 1983 On the decidability of theories of Boolean algebras with isolated ideal. Zbl 0499.03030Morozov, A. S. 1 1982 all cited Publications top 5 cited Publications all top 5 Cited by 99 Authors 26 Morozov, Andreĭ Sergeevich 18 Harizanov, Valentina S. 11 Melnikov, Alexander G. 10 Cenzer, Douglas 8 Khisamiev, A. N. 8 Remmel, Jeffrey B. 7 Bazhenov, Nikolaĭ Alekseevich 6 Downey, Rodney Graham 6 Harrison-Trainor, Matthew 6 Knight, Julia F. 6 Ng, KengMeng 5 Dimitrov, Rumen D. 5 Fokina, Ekaterina B. 5 Kasymov, Nadimulla Khabibullaevich 5 Montalbán, Antonio 4 Kalimullin, Iskander Shagitovich 4 Kudinov, Oleg Victorovich 4 Miller, Russell G. 4 Puzarenko, Vadim G. 3 Calvert, Wesley 3 Dadazhanov, Ruzmat Normatovich 3 Goncharov, Sergeĭ Savost’yanovich 3 Korovina, Margarita Vladimirovna 3 McCoy, Charles F. D. 3 Ponomaryov, Denis K. 3 Wallbaum, John 2 Alvir, Rachael 2 Carl, Merlin 2 Carson, Jacob 2 Chubb, Jennifer 2 Csima, Barbara F. 2 Emelyanov, Pavel G. 2 Faĭzrahmanov, Marat Khaidarovich 2 Friedman, Sy-David 2 Ho, Meng-Che 2 Khoussainov, Bakhadyr M. 2 Koepke, Peter 2 Kogabaev, Nurlan Talgatovich 2 Lange, Karen 2 Rossegger, Dino 1 Aleksandrova, S. A. 1 Bilanovic, Iva 1 Blinov, K. V. 1 Boyadzhiyska, Simona 1 Brown, Tyler A. 1 Chitaia, Irakli O. 1 Csc, Charles Mccoy 1 Dabkowska, Malgorzata A. 1 Dabkowski, Mieczysław K. 1 Djavliev, S. K. 1 Dushenin, D. I. 1 Greenberg, Noam 1 Ha, Trang 1 Harris, Charles M. 1 Kach, Asher M. 1 Kasymkanuly, Boribaj 1 Korotkova, R. M. 1 Kulikov, P. A. 1 Kuske, Dietrich 1 LaForte, Geoffrey L. 1 Laskowski, Michael Chris 1 Liu, Jiamou 1 Lohrey, Markus 1 Marker, David E. 1 McNicholl, Timothy H. 1 Melkinov, Alexander 1 Neumann, Eike 1 Omanadze, Roland Sh. 1 Pal’chunov, Dimitriĭ Evgen’evich 1 Pauly, Arno M. 1 Pingrey, Sarah 1 Poonen, Bjorn 1 Quinn, Sara 1 Quinn, Sara B. 1 Roven, Sam 1 Safranski, C. 1 San Mauro, Luca 1 Saraph, Vikram 1 Scanlon, R. 1 Schoutens, Hans 1 Schwichtenberg, Helmut 1 Shlapentokh, Alexandra 1 Shore, Richard Arnold 1 Sikora, Adam S. 1 Skorobogatov, K. M. 1 Soutchanski, Mikhail 1 Steiner, Rebecca M. 1 Sviridenko, D. I. 1 Truss, John Kenneth 1 Tukhbatullina, R. R. 1 Turetsky, Dan 1 Turetsky, Daniel D. 1 Tusupov, Dzhamalbek Aliaskarovich 1 Uddin, Zia 1 Ufferman, Eric 1 Walker, Hakim J. 1 Wood, Carol 1 Zainetdinov, Damir Kh. 1 Zhavliev, Sarvar Kurbonmiratovich all top 5 Cited in 32 Serials 28 Algebra and Logic 20 Siberian Mathematical Journal 11 Archive for Mathematical Logic 9 Annals of Pure and Applied Logic 8 The Journal of Symbolic Logic 5 Proceedings of the American Mathematical Society 4 The Bulletin of Symbolic Logic 3 Lobachevskii Journal of Mathematics 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Notre Dame Journal of Formal Logic 2 Transactions of the American Mathematical Society 2 International Journal of Algebra and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Knot Theory and its Ramifications 2 Journal of Mathematical Logic 1 Discrete Applied Mathematics 1 Mathematical Notes 1 Advances in Mathematics 1 Fundamenta Mathematicae 1 Journal of Algebra 1 Programming and Computer Software 1 Theoretical Computer Science 1 Journal of Complexity 1 Russian Mathematics 1 Journal of Mathematical Sciences (New York) 1 Mathematical Logic Quarterly (MLQ) 1 Doklady Mathematics 1 Theory of Computing Systems 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 The Journal of Logic and Algebraic Programming 1 ACM Transactions on Computational Logic 1 Computability all top 5 Cited in 13 Fields 123 Mathematical logic and foundations (03-XX) 16 Group theory and generalizations (20-XX) 12 Computer science (68-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 3 General and overarching topics; collections (00-XX) 3 General algebraic systems (08-XX) 2 Geometry (51-XX) 2 Information and communication theory, circuits (94-XX) 1 Field theory and polynomials (12-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) Citations by Year