Edit Profile Harizanov, Valentina S. Compute Distance To: Compute Author ID: harizanov.valentina-s Published as: Harizanov, V.; Harizanov, V. S.; Harizanov, Valentina; Harizanov, Valentina S. External Links: MGP · Wikidata Documents Indexed: 73 Publications since 1981, including 5 Books all top 5 Co-Authors 15 single-authored 13 Knight, Julia F. 11 Morozov, Andreĭ Sergeevich 10 Goncharov, Sergeĭ Savost’yanovich 8 Cenzer, Douglas 8 Miller, Russell G. 7 Dimitrov, Rumen D. 7 McCoy, Charles F. D. 6 Calvert, Wesley 6 Chubb, Jennifer 6 Dabkowski, Mieczysław K. 5 Fokina, Ekaterina B. 5 Remmel, Jeffrey B. 3 Dabkowska, Malgorzata A. 3 Frolov, Andrey N. 3 Przytycki, Józef H. 3 Quinn, Sara 2 Carson, Jacob 2 Chisholm, John Stephen Roy 2 Csima, Barbara F. 2 Friend, Michèle 2 Goethe, Norma B. 2 Hirschfeldt, Denis Roman 2 Jockusch, Carl G. jun. 2 Kauffman, Louis Hirsch 2 Kudinov, Oleg Victorovich 2 Montalbán, Antonio 2 Pingrey, Sarah 2 Ramakrishna, Viswanath 2 Safranski, C. 2 Shlapentokh, Alexandra 2 Soskova, Alexandra A. 2 Stephan, Frank 2 Turetsky, Daniel D. 2 Vatev, Stefan 2 Wallbaum, John 1 Eskandarian, Ali 1 Friedman, Sy-David 1 Ha, Trang 1 Kalimullin, Iskander Shagitovich 1 Kummer, Martin P. 1 Lange, Karen 1 Laskowski, Michael Chris 1 Lempp, Steffen 1 Marker, David E. 1 McNicholl, Timothy H. 1 Mijajlović, Žarko 1 Miller, Sara 1 Mourad, K. J. 1 Owings, James C. jun. 1 Romina, A. V. 1 Shafer, Paul 1 Shore, Richard A. 1 Sikora, Adam S. 1 Soare, Robert I. 1 Solomon, Reed 1 Togha, Amir A. 1 Ufferman, Eric 1 Veve, Michael A. 1 Wood, Carol all top 5 Serials 13 Annals of Pure and Applied Logic 9 The Journal of Symbolic Logic 7 Algebra and Logic 4 Archive for Mathematical Logic 4 Journal of Knot Theory and its Ramifications 3 Journal of Logic and Computation 3 The Bulletin of Symbolic Logic 2 Algebra i Logika 2 Proceedings of the American Mathematical Society 1 Journal of Computer and System Sciences 1 Journal of the London Mathematical Society. Second Series 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Sibirskiĭ Matematicheskiĭ Zhurnal 1 Transactions of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Siberian Advances in Mathematics 1 Mathematical Logic Quarterly (MLQ) 1 Lecture Notes in Logic 1 Logic, Epistemology, and the Unity of Science 1 Computability all top 5 Fields 66 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 7 General and overarching topics; collections (00-XX) 6 Group theory and generalizations (20-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Quantum theory (81-XX) 3 General algebraic systems (08-XX) 3 Manifolds and cell complexes (57-XX) 2 General topology (54-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Nonassociative rings and algebras (17-XX) 1 Category theory; homological algebra (18-XX) 1 Difference and functional equations (39-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 50 Publications have been cited 348 times in 224 Documents Cited by ▼ Year ▼ Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 35 2005 Effective categoricity of equivalence structures. Zbl 1103.03037Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 34 2006 Pure computable model theory. Zbl 0952.03037Harizanov, Valentina S. 33 1998 Some effects of Ash-Nerode and other decidability conditions on degree spectra. Zbl 0756.03022Harizanov, Valentina S. 21 1991 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 18 2006 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 14 2012 Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell 13 2012 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 12 2012 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 12 2009 The possible Turing degree of the nonzero member in a two element degree spectrum. Zbl 0773.03027Harizanov, Valentina S. 12 1993 Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D. 10 2003 Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei 9 2009 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Turing degrees of certain isomorphic images of computable relations. Zbl 0946.03051Harizanov, Valentina S. 9 1998 Uncountable degree spectra. Zbl 0744.03035Harizanov, Valentina S. 9 1991 Frequency computations and the cardinality theorem. Zbl 0763.03024Harizanov, Valentina; Kummer, Martin; Owings, Jim 8 1992 Computability of Fraïssé limits. Zbl 1215.03053Csima, Barbara F.; Harizanov, Valentina S.; Miller, Russell; Montalbán, Antonio 6 2011 Compactness of the space of left orders. Zbl 1129.57024Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Przytycki, J. H.; Veve, M. A. 6 2007 Spectra of structures and relations. Zbl 1116.03029Harizanov, Valentina S.; Miller, Russell G. 6 2007 Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra 5 2007 Computability-theoretic complexity of countable structures. Zbl 1039.03027Harizanov, Valentina S. 5 2002 Computability-theoretic properties of injection structures. Zbl 1323.03045Cenzer, D.; Harizanov, V.; Remmel, J. B. 4 2014 \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 4 2011 \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 4 2009 Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina 4 2009 Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S. 4 2005 The computable embedding problem. Zbl 1334.03037Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J. 3 2012 Simple structures with complex symmetry. Zbl 1195.03041Harizanov, Valentina; Miller, R.; Morozov, A. S. 3 2010 Chains and antichains in partial orderings. Zbl 1160.03013Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F. 3 2009 \(\Pi_1^0\) classes and strong degree spectra of relations. Zbl 1123.03025Chisholm, John; Chubb, Jennifer; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy; Pingrey, Sarah 3 2007 On the learnability of vector spaces. Zbl 1178.68297Harizanov, Valentina S.; Stephan, Frank 3 2007 Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 06617652Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei 2 2016 Isomorphisms of non-standard fields and Ash’s conjecture. Zbl 1433.03083Dimitrov, Rumen; Harizanov, Valentina; Miller, Russell; Mourad, K. J. 2 2014 Effective categoricity of injection structures. Zbl 1345.03062Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 2 2011 Spaces of orders and their Turing degree spectra. Zbl 1225.03038Dabkowska, Malgorzata A.; Dabkowski, Mieczyslaw K.; Harizanov, Valentina S.; Togha, Amir A. 2 2010 Bounding homogeneous models. Zbl 1116.03027Csima, Barbara E.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I. 2 2007 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 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Regular relations and the quantifier ”there exist uncountably many”. Zbl 0519.03029Mijajlovic, Zarko; Harizanov, Valentina 2 1983 Turing degrees of complete formulas of almost prime models. Zbl 07175626Goncharov, S. S.; Miller, R.; Harizanov, V. 1 2019 Logic and algebraic structures in quantum computing. Based on a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, Washington, DC, USA, March 17–20, 2010. Zbl 1348.81033Chubb, Jennifer (ed.); Eskandarian, Ali (ed.); Harizanov, Valentina (ed.) 1 2016 Two-to-one structures. Zbl 1327.03026Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 1 2013 Introduction to the philosophy and mathematics of algorithmic learning theory. Zbl 1141.03302Harizanov, Valentina S.; Goethe, Norma B.; Friend, Michèle 1 2007 Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004Friend, Michèle (ed.); Goethe, Norma B. (ed.); Harizanov, Valentina S. (ed.) 1 2007 Turing degrees of nonabelian groups. Zbl 1124.03015Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S. 1 2007 On the learnability of vector spaces. Zbl 1024.68051Harizanov, Valentina S.; Stephan, Frank 1 2002 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 Relations on computable structures. Zbl 1009.03500Harizanov, Valentina S. 1 2000 Effectively nowhere simple relations on computable structures. Zbl 0944.03038Harizanov, Valentina S. 1 1999 On the functional equation f phi f = f. Zbl 0488.39004Harizanov, Valentina 1 1981 Turing degrees of complete formulas of almost prime models. Zbl 07175626Goncharov, S. S.; Miller, R.; Harizanov, V. 1 2019 Automorphism groups of substructure lattices of vector spaces in computable algebra. Zbl 06617652Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrei 2 2016 Logic and algebraic structures in quantum computing. Based on a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, Washington, DC, USA, March 17–20, 2010. Zbl 1348.81033Chubb, Jennifer (ed.); Eskandarian, Ali (ed.); Harizanov, Valentina (ed.) 1 2016 Computability-theoretic properties of injection structures. Zbl 1323.03045Cenzer, D.; Harizanov, V.; Remmel, J. B. 4 2014 Isomorphisms of non-standard fields and Ash’s conjecture. Zbl 1433.03083Dimitrov, Rumen; Harizanov, Valentina; Miller, Russell; Mourad, K. J. 2 2014 Two-to-one structures. Zbl 1327.03026Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 1 2013 Isomorphism relations on computable structures. Zbl 1255.03040Fokina, Ekaterina B.; Friedman, Sy-David; Harizanov, Valentina; Knight, Julia F.; McCoy, Charles; Montalbán, Antonio 14 2012 Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell 13 2012 Describing free groups. Zbl 1302.03045Carson, J.; Harizanov, V.; Knight, J.; Lange, K.; McCoy, C.; Morozov, A.; Quinn, S.; Safranski, C.; Wallbaum, J. 12 2012 The computable embedding problem. Zbl 1334.03037Carson, J.; Fokina, E.; Harizanov, V. S.; Knight, J. F.; Quinn, S.; Safranski, C.; Wallbaum, J. 3 2012 Computability of Fraïssé limits. Zbl 1215.03053Csima, Barbara F.; Harizanov, Valentina S.; Miller, Russell; Montalbán, Antonio 6 2011 \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 4 2011 Effective categoricity of injection structures. Zbl 1345.03062Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 2 2011 Simple structures with complex symmetry. Zbl 1195.03041Harizanov, Valentina; Miller, R.; Morozov, A. S. 3 2010 Spaces of orders and their Turing degree spectra. Zbl 1225.03038Dabkowska, Malgorzata A.; Dabkowski, Mieczyslaw K.; Harizanov, Valentina S.; Togha, Amir A. 2 2010 Intrinsic bounds on complexity and definability at limit levels. Zbl 1201.03019Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara 12 2009 Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei 9 2009 \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. 4 2009 Degree spectra of the successor relation of computable linear orderings. Zbl 1161.03022Chubb, Jennifer; Frolov, Andrey; Harizanov, Valentina 4 2009 Chains and antichains in partial orderings. Zbl 1160.03013Harizanov, Valentina S.; Jockusch, Carl G. jun.; Knight, Julia F. 3 2009 Compactness of the space of left orders. Zbl 1129.57024Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Przytycki, J. H.; Veve, M. A. 6 2007 Spectra of structures and relations. Zbl 1116.03029Harizanov, Valentina S.; Miller, Russell G. 6 2007 Turing degrees of isomorphism types of algebraic objects. Zbl 1124.03014Calvert, Wesley; Harizanov, Valentina; Shlapentokh, Alexandra 5 2007 \(\Pi_1^0\) classes and strong degree spectra of relations. Zbl 1123.03025Chisholm, John; Chubb, Jennifer; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; McNicholl, Timothy; Pingrey, Sarah 3 2007 On the learnability of vector spaces. Zbl 1178.68297Harizanov, Valentina S.; Stephan, Frank 3 2007 Bounding homogeneous models. Zbl 1116.03027Csima, Barbara E.; Harizanov, Valentina S.; Hirschfeldt, Denis R.; Soare, Robert I. 2 2007 Introduction to the philosophy and mathematics of algorithmic learning theory. Zbl 1141.03302Harizanov, Valentina S.; Goethe, Norma B.; Friend, Michèle 1 2007 Induction, algorithmic learning theory, and philosophy. Zbl 1130.03004Friend, Michèle (ed.); Goethe, Norma B. (ed.); Harizanov, Valentina S. (ed.) 1 2007 Turing degrees of nonabelian groups. Zbl 1124.03015Dabkowska, M. A.; Dabkowski, M. K.; Harizanov, V. S.; Sikora, A. S. 1 2007 Effective categoricity of equivalence structures. Zbl 1103.03037Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei 34 2006 Index sets of computable structures. Zbl 1164.03325Calvert, W.; Harizanov, V. S.; Knight, J. F.; Miller, S. 18 2006 Enumerations in computable structure theory. Zbl 1081.03033Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed 35 2005 Dependence relations in computably rigid computable vector spaces. Zbl 1076.03029Dimitrov, Rumen D.; Harizanov, Valentina S.; Morozov, Andrei S. 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 \(\Pi^1_1\) relations and paths through \(\mathcal O\). Zbl 1107.03051Goncharov, Sergey S.; Harizanov, Valentina; Knight, Julia F.; Shore, Richard A. 9 2004 Trivial, strongly minimal theories are model complete after naming constants. Zbl 1035.03013Goncharov, Sergey S.; Harizanov, Valentina S.; Laskowski, Michael C.; Lempp, Steffen; McCoy, Charles F. D. 10 2003 Simple and immune relations on countable structures. Zbl 1024.03034Goncharov, Sergei S.; Harizanov, Valentina S.; Knight, Julia F.; McCoy, Charles F. D. 2 2003 Computability-theoretic complexity of countable structures. Zbl 1039.03027Harizanov, Valentina S. 5 2002 On the learnability of vector spaces. Zbl 1024.68051Harizanov, Valentina S.; Stephan, Frank 1 2002 Sequences of \(n\)-diagrams. Zbl 1035.03015Harizanov, Valentina S.; Knight, Julia F.; Morozov, Andrei S. 1 2002 Relations on computable structures. Zbl 1009.03500Harizanov, Valentina S. 1 2000 Effectively nowhere simple relations on computable structures. Zbl 0944.03038Harizanov, Valentina S. 1 1999 Pure computable model theory. Zbl 0952.03037Harizanov, Valentina S. 33 1998 Turing degrees of certain isomorphic images of computable relations. Zbl 0946.03051Harizanov, Valentina S. 9 1998 The possible Turing degree of the nonzero member in a two element degree spectrum. Zbl 0773.03027Harizanov, Valentina S. 12 1993 Frequency computations and the cardinality theorem. Zbl 0763.03024Harizanov, Valentina; Kummer, Martin; Owings, Jim 8 1992 Some effects of Ash-Nerode and other decidability conditions on degree spectra. Zbl 0756.03022Harizanov, Valentina S. 21 1991 Uncountable degree spectra. Zbl 0744.03035Harizanov, Valentina S. 9 1991 Regular relations and the quantifier ”there exist uncountably many”. Zbl 0519.03029Mijajlovic, Zarko; Harizanov, Valentina 2 1983 On the functional equation f phi f = f. Zbl 0488.39004Harizanov, Valentina 1 1981 all cited Publications top 5 cited Publications all top 5 Cited by 188 Authors 29 Harizanov, Valentina S. 22 Knight, Julia F. 18 Bazhenov, Nikolaĭ Alekseevich 13 Downey, Rodney Graham 13 Hirschfeldt, Denis Roman 13 Khoussainov, Bakhadyr M. 13 Melnikov, Alexander G. 12 Cenzer, Douglas 12 Kalimullin, Iskander Shagitovich 11 Miller, Russell G. 11 Montalbán, Antonio 10 Fokina, Ekaterina B. 10 Morozov, Andreĭ Sergeevich 9 Goncharov, Sergeĭ Savost’yanovich 9 Remmel, Jeffrey B. 8 Andrews, Uri 8 Csima, Barbara F. 8 Harrison-Trainor, Matthew 8 Shore, Richard A. 7 Calvert, Wesley 6 Lempp, Steffen 6 Ng, KengMeng 6 Stephan, Frank 5 Frolov, Andrey N. 5 Greenberg, Noam 5 Jain, Sanjay 5 Kach, Asher M. 5 Lange, Karen 5 McCoy, Charles F. D. 4 Ash, Christopher John 4 Cholak, Peter A. 4 Chubb, Jennifer 4 Dimitrov, Rumen D. 4 Kogabaev, N. T. 4 Kudinov, Oleg Victorovich 4 Puzarenko, Vadim G. 4 San Mauro, Luca 4 Solomon, Reed 4 Sorbi, Andrea 4 Wallbaum, John 3 Carson, Jacob 3 Faĭzrahmanov, Marat Khaidarovich 3 Jockusch, Carl G. jun. 3 Korovina, Margarita Vladimirovna 3 Laskowski, Michael Chris 3 Quinn, Sara 3 Shlapentokh, Alexandra 3 Slaman, Theodore A. 3 Teutsch, Jason 3 Turetsky, Daniel D. 3 Tusupov, Dzhamalbek Aliaskarovich 3 Wu, Guohua 2 Bélanger, David R. 2 Bès, Alexis 2 Cegielski, Patrick 2 Chisholm, John Stephen Roy 2 Dabkowska, Malgorzata A. 2 Dabkowski, Mieczysław K. 2 Didehvar, Farzad 2 Dushenin, D. I. 2 Franklin, Johanna N. Y. 2 Friedman, Sy-David 2 Harrington, Leo A. 2 Ho, Meng-Che 2 Marker, David E. 2 McNicholl, Timothy H. 2 Millar, Jessica 2 Minnes, Mia 2 Mustafa, Manat 2 Nerode, Anil 2 Pingrey, Sarah 2 Safranski, C. 2 Steiner, Rebecca M. 2 Tukhbatullina, R. R. 2 Wang, Wei 2 Yamaleev, Mars Mansurovich 1 Alaev, Pavel Evgenievich 1 Aleksandrova, S. A. 1 Ambos-Spies, Klaus 1 Anderson, Bernard A. 1 Anderson, Sarah E. 1 Artemov, Sergei 1 Badaev, Serikzhan A. 1 Baldwin, John T. 1 Barmpalias, George 1 Beigel, Richard 1 Bilanovic, Iva 1 Boyadzhiyska, Simona 1 Buss, Sam 1 Cai, Mingzhong 1 Ding, Decheng 1 Dolich, Alfred 1 Džamonja, Mirna 1 Faizrakhmanov, Marat Kh. 1 Fouché, Willem Louw 1 Freivalds, Rūsiņš Mārtiņš 1 Frolov, Andrei N. 1 Ganguli, Suman 1 Gao, Ziyuan 1 Gasarch, William Ian ...and 88 more Authors all top 5 Cited in 43 Serials 33 Annals of Pure and Applied Logic 25 Algebra and Logic 25 The Journal of Symbolic Logic 21 Archive for Mathematical Logic 12 Proceedings of the American Mathematical Society 8 Transactions of the American Mathematical Society 8 The Bulletin of Symbolic Logic 6 Siberian Mathematical Journal 6 Journal of Mathematical Logic 6 Lobachevskii Journal of Mathematics 5 Notre Dame Journal of Formal Logic 4 Theoretical Computer Science 3 Advances in Mathematics 3 Information and Computation 3 Journal of Knot Theory and its Ramifications 3 Russian Mathematics 3 Mathematical Logic Quarterly (MLQ) 2 Memoirs of the American Mathematical Society 2 International Journal of Algebra and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Theory of Computing Systems 2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 International Journal of Modern Physics A 1 Annales de l’Institut Fourier 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Pacific Journal of Mathematics 1 Studia Logica 1 Topology and its Applications 1 Algorithmica 1 Journal of the American Mathematical Society 1 Journal of Mathematical Sciences (New York) 1 Doklady Mathematics 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Logic 1 Mediterranean Journal of Mathematics 1 Parallel Processing Letters 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Proceedings of the Steklov Institute of Mathematics 1 Groups, Geometry, and Dynamics 1 European Journal for Philosophy of Science 1 Computability all top 5 Cited in 18 Fields 207 Mathematical logic and foundations (03-XX) 21 Group theory and generalizations (20-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 18 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 5 Field theory and polynomials (12-XX) 4 Geometry (51-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 General algebraic systems (08-XX) 2 Category theory; homological algebra (18-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 General topology (54-XX) 2 Manifolds and cell complexes (57-XX) 1 Commutative algebra (13-XX) 1 Abstract harmonic analysis (43-XX) 1 Statistics (62-XX) 1 Quantum theory (81-XX) Citations by Year Wikidata Timeline