Edit Profile (opens in new tab) Harrison-Trainor, Matthew Compute Distance To: Compute Author ID: harrison-trainor.matthew Published as: Harrison-Trainor, Matthew; Harrison-Trainor, M. Documents Indexed: 39 Publications since 2012, including 1 Book Co-Authors: 30 Co-Authors with 29 Joint Publications 426 Co-Co-Authors all top 5 Co-Authors 10 single-authored 7 Melnikov, Alexander G. 4 Csima, Barbara F. 4 Greenberg, Noam 4 Montalbán, Antonio 4 Turetsky, Dan 3 Downey, Rodney Graham 3 Holliday, Wesley H. 3 Miller, Russell G. 2 Bazhenov, Nikolaĭ Alekseevich 2 Bienvenu, Laurent 2 Ho, Meng-Che 2 Icard, Thomas F. III 2 Kalimullin, Iskander Shagitovich 2 Moosa, Rahim N. 2 Ng, KengMeng 2 Patey, Ludovic 2 Turetsky, Daniel D. 1 Alvir, Rachael 1 Andrews, Uri 1 Chatzidakis, Zoé Maria 1 Deveau, Michael 1 Ding, Yifeng 1 Ho, Meng-Che “Turbo” 1 Igusa, Gregory 1 Khoussainov, Bakh 1 Klys, Jack 1 Knight, Julia F. 1 Mahmoud, Mohammad Assem 1 Melkinov, Alexander 1 Schweber, Noah David all top 5 Serials 12 The Journal of Symbolic Logic 4 Proceedings of the American Mathematical Society 3 Annals of Pure and Applied Logic 3 Computability 2 Journal of Algebra 2 Transactions of the American Mathematical Society 2 Mathematical Social Sciences 2 Journal of Mathematical Logic 1 Advances in Mathematics 1 Algebra and Logic 1 Canadian Journal of Mathematics 1 Journal of Computer and System Sciences 1 Memoirs of the American Mathematical Society 1 Theory and Decision 1 Archive for Mathematical Logic 1 The Bulletin of Symbolic Logic 1 The Review of Symbolic Logic all top 5 Fields 36 Mathematical logic and foundations (03-XX) 5 Field theory and polynomials (12-XX) 5 Group theory and generalizations (20-XX) 3 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Algebraic geometry (14-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 106 times in 79 Documents Cited by ▼ Year ▼ Computable functors and effective interpretability. Zbl 1390.03034Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell; Montalbán, Antonio 25 2017 Independence in computable algebra. Zbl 1386.03051Harrison-Trainor, Matthew; Melnikov, Alexander; Montalbán, Antonio 11 2015 Automatic and polynomial-time algebraic structures. Zbl 1454.03042Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng 8 2019 Nonstandard methods for bounds in differential polynomial rings. Zbl 1272.12017Harrison-Trainor, Matthew; Klys, Jack; Moosa, Rahim 6 2012 Graphs are not universal for online computability. Zbl 1476.03046Downey, Rodney; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melnikov, Alexander; Turetsky, Daniel 6 2020 Degrees of categoricity on a cone via \(\eta\)-systems. Zbl 1386.03049Csima, Barbara F.; Harrison-Trainor, Matthew 6 2017 On optimal Scott sentences of finitely generated algebraic structures. Zbl 06912729Harrison-Trainor, Matthew; Ho, Meng-Che 5 2018 There is no classification of the decidably presentable structures. Zbl 06996244Harrison-Trainor, Matthew 5 2018 Some new computable structures of high rank. Zbl 1469.03122Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F. 4 2018 Borel functors and infinitary interpretations. Zbl 06997547Harrison-Trainor, Matthew; Miller, Russell; Montalbán, Antonio 4 2018 Inferring probability comparisons. Zbl 1396.91083Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 3 2018 The gamma question for many-one degrees. Zbl 1422.03089Harrison-Trainor, Matthew 3 2017 Degrees of categoricity above limit ordinals. Zbl 1485.03110Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem 3 2020 Differential-algebraic jet spaces preserve internality to the constants. Zbl 1372.03072Chatzidakis, Zoe; Harrison-Trainor, Matthew; Moosa, Rahim 2 2015 Degree spectra of relations on a cone. Zbl 1435.03005Harrison-Trainor, Matthew 2 2018 A note on cancellation axioms for comparative probability. Zbl 1378.91066Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 2 2016 Left-orderable computable groups. Zbl 1447.03009Harrison-Trainor, Matthew 2 2018 The logic of comparative cardinality. Zbl 1485.03064Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 2 2020 On computable field embeddings and difference closed fields. Zbl 1423.03149Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell 1 2017 Scott ranks of models of a theory. Zbl 1469.03103Harrison-Trainor, Matthew 1 2018 Computability of Polish spaces up to homeomorphism. Zbl 1473.03025Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 1 2020 Constructing decidable graphs from decidable structures. Zbl 1480.03022Bazhenov, N. A.; Harrison-Trainor, M. 1 2019 Scott complexity of countable structures. Zbl 1485.03168Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan 1 2021 Characterizations of cancellable groups. Zbl 07081349Harrison-Trainor, Matthew; Ho, Meng-Che 1 2019 Finitely generated groups are universal among finitely generated structures. Zbl 07260102Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” 1 2021 Scott complexity of countable structures. Zbl 1485.03168Alvir, Rachael; Greenberg, Noam; Harrison-Trainor, Matthew; Turetsky, Dan 1 2021 Finitely generated groups are universal among finitely generated structures. Zbl 07260102Harrison-Trainor, Matthew; Ho, Meng-Che “Turbo” 1 2021 Graphs are not universal for online computability. Zbl 1476.03046Downey, Rodney; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melnikov, Alexander; Turetsky, Daniel 6 2020 Degrees of categoricity above limit ordinals. Zbl 1485.03110Csima, Barbara F.; Deveau, Michael; Harrison-Trainor, Matthew; Mahmoud, Mohammad Assem 3 2020 The logic of comparative cardinality. Zbl 1485.03064Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley H. 2 2020 Computability of Polish spaces up to homeomorphism. Zbl 1473.03025Harrison-Trainor, Matthew; Melnikov, Alexander; Meng Ng, Keng 1 2020 Automatic and polynomial-time algebraic structures. Zbl 1454.03042Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng 8 2019 Constructing decidable graphs from decidable structures. Zbl 1480.03022Bazhenov, N. A.; Harrison-Trainor, M. 1 2019 Characterizations of cancellable groups. Zbl 07081349Harrison-Trainor, Matthew; Ho, Meng-Che 1 2019 On optimal Scott sentences of finitely generated algebraic structures. Zbl 06912729Harrison-Trainor, Matthew; Ho, Meng-Che 5 2018 There is no classification of the decidably presentable structures. Zbl 06996244Harrison-Trainor, Matthew 5 2018 Some new computable structures of high rank. Zbl 1469.03122Harrison-Trainor, Matthew; Igusa, Gregory; Knight, Julia F. 4 2018 Borel functors and infinitary interpretations. Zbl 06997547Harrison-Trainor, Matthew; Miller, Russell; Montalbán, Antonio 4 2018 Inferring probability comparisons. Zbl 1396.91083Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 3 2018 Degree spectra of relations on a cone. Zbl 1435.03005Harrison-Trainor, Matthew 2 2018 Left-orderable computable groups. Zbl 1447.03009Harrison-Trainor, Matthew 2 2018 Scott ranks of models of a theory. Zbl 1469.03103Harrison-Trainor, Matthew 1 2018 Computable functors and effective interpretability. Zbl 1390.03034Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell; Montalbán, Antonio 25 2017 Degrees of categoricity on a cone via \(\eta\)-systems. Zbl 1386.03049Csima, Barbara F.; Harrison-Trainor, Matthew 6 2017 The gamma question for many-one degrees. Zbl 1422.03089Harrison-Trainor, Matthew 3 2017 On computable field embeddings and difference closed fields. Zbl 1423.03149Harrison-Trainor, Matthew; Melnikov, Alexander; Miller, Russell 1 2017 A note on cancellation axioms for comparative probability. Zbl 1378.91066Harrison-Trainor, Matthew; Holliday, Wesley H.; Icard, Thomas F. III 2 2016 Independence in computable algebra. Zbl 1386.03051Harrison-Trainor, Matthew; Melnikov, Alexander; Montalbán, Antonio 11 2015 Differential-algebraic jet spaces preserve internality to the constants. Zbl 1372.03072Chatzidakis, Zoe; Harrison-Trainor, Matthew; Moosa, Rahim 2 2015 Nonstandard methods for bounds in differential polynomial rings. Zbl 1272.12017Harrison-Trainor, Matthew; Klys, Jack; Moosa, Rahim 6 2012 all cited Publications top 5 cited Publications all top 5 Cited by 81 Authors 17 Melnikov, Alexander G. 14 Bazhenov, Nikolaĭ Alekseevich 14 Harrison-Trainor, Matthew 10 Kalimullin, Iskander Shagitovich 8 Ng, KengMeng 6 Downey, Rodney Graham 6 Miller, Russell G. 4 Greenberg, Noam 4 Knight, Julia F. 3 Alvir, Rachael 3 Csima, Barbara F. 3 Rossegger, Dino 3 Turetsky, Dan 2 Goncharov, Sergeĭ Savost’yanovich 2 Holliday, Wesley H. 2 Icard, Thomas F. III 2 León Sánchez, Omar 2 Marchuk, Margaret I. 2 Montalbán, Antonio 2 Turetsky, Daniel D. 2 Vatev, Stefan V. 2 Zubkov, Maxim V. 1 Andrews, Uri 1 Avdeev, R. R. 1 Batyrshin, Ilnur I. 1 Becker, Howard S. 1 Breaz, Simion 1 Carson, Jacob 1 Cenzer, Douglas 1 Chen, Ruiyuan 1 Chubb, Jennifer 1 Csc, Charles Mccoy 1 Darbinyan, Arman 1 Ding, Yifeng 1 Dorzhieva, Marina Valerianovna 1 Franklin, Johanna N. Y. 1 Ganchev, Hristo A. 1 Gustavson, Richard 1 Ha, Trang 1 Harizanov, Valentina S. 1 Hirschfeldt, Denis Roman 1 Hirst, Jeffry Lynn 1 Ho, Meng-Che “Turbo” 1 Hoffmann, Daniel Max 1 Igusa, Gregory 1 Issakhov, A. A. 1 Jimenez, Léo 1 Jin, Ruizhang 1 Kalmurzaev, Birzhan S. 1 Kondrat’eva, Marina Vladimirovna 1 Kornev, Ruslan Aleksandrovich 1 Kotov, Matvei 1 Li, Wei 1 Li, Yinghong 1 Marushak, Adam 1 Melkinov, Alexander 1 Monin, Benoît 1 Moosa, Rahim N. 1 Mummert, Carl 1 Nies, André Otfrid 1 Ocasio-González, Víctor A. 1 Ovchinnikov, Alexey Igorevich 1 Poonen, Bjorn 1 Puzarenko, Vadim G. 1 Remmel, Jeffrey B. 1 Saraph, Vikram 1 Schoutens, Hans 1 Schweber, Noah David 1 Selivanov, Viktor L’vovich 1 Sen, Yang 1 Shi, Chenwei 1 Shlapentokh, Alexandra 1 Simmons, William D. 1 Solomon, Reed 1 Soskova, Alexandra A. 1 Stephenson, Jonathan 1 Towsner, Henry 1 van Benthem, Johan F. A. K. 1 Westerståhl, Dag 1 Yamaleev, Mars Mansurovich 1 Yu, Daniel all top 5 Cited in 28 Serials 12 The Journal of Symbolic Logic 5 Siberian Mathematical Journal 5 Annals of Pure and Applied Logic 4 Archive for Mathematical Logic 4 Journal of Mathematical Logic 3 Algebra and Logic 3 Proceedings of the American Mathematical Society 3 Transactions of the American Mathematical Society 3 The Bulletin of Symbolic Logic 3 Lobachevskii Journal of Mathematics 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Israel Journal of Mathematics 2 Advances in Mathematics 2 Journal of Philosophical Logic 2 Theoretical Computer Science 2 Journal of Mathematical Sciences (New York) 1 Fundamenta Mathematicae 1 Journal of Computer and System Sciences 1 Advances in Applied Mathematics 1 Mathematical Social Sciences 1 International Journal of Approximate Reasoning 1 International Journal of Algebra and Computation 1 Journal of Knot Theory and its Ramifications 1 Russian Mathematics 1 Theory of Computing Systems 1 Matematicheskie Trudy 1 Mediterranean Journal of Mathematics 1 Logical Methods in Computer Science all top 5 Cited in 14 Fields 72 Mathematical logic and foundations (03-XX) 11 Group theory and generalizations (20-XX) 9 Computer science (68-XX) 8 Field theory and polynomials (12-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Abstract harmonic analysis (43-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year