| Computable functors and effective interpretability M Harrison-Trainor, A Melnikov, R Miller, A Montalbán The Journal of Symbolic Logic 82 (1), 77-97, 2017 | 73 | 2017 |
| Automatic and Polynomial-Time Algebraic Structures. N Bazhenov, M Harrison-Trainor, IS Kalimullin, AG Melnikov, KM Ng J. Symb. Log. 84 (4), 1630-1669, 2019 | 40 | 2019 |
| Computability of Polish spaces up to homeomorphism M Harrison-Trainor, A Melnikov, KM Ng The Journal of Symbolic Logic 85 (4), 1664-1686, 2020 | 35 | 2020 |
| Independence in computable algebra M Harrison-Trainor, A Melnikov, A Montalbán Journal of Algebra 443, 441-468, 2015 | 26 | 2015 |
| Borel functors and infinitary interpretations M Harrison-Trainor, R Miller, A Montalbán The Journal of Symbolic Logic 83 (4), 1434-1456, 2018 | 24 | 2018 |
| DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS BF Csima, M Harrison-Trainor The Journal of Symbolic Logic 82 (1), 325-346, 2017 | 23* | 2017 |
| Nonstandard methods for bounds in differential polynomial rings M Harrison-Trainor, J Klys, R Moosa Journal of Algebra 360, 71-86, 2012 | 22 | 2012 |
| GRAPHS ARE NOT UNIVERSAL FOR ONLINE COMPUTABILITY R DOWNEY, M HARRISON-TRAINOR, I KALIMULLIN, A MELNIKOV, ... | 22* | |
| COMPUTABLE STONE SPACES N BAZHENOV, M HARRISON-TRAINOR, A MELNIKOV | 19 | 2021 |
| The logic of comparative cardinality Y Ding, M Harrison-Trainor, WH Holliday eScholarship, University of California, 2018 | 19 | 2018 |
| On optimal Scott sentences of finitely generated algebraic structures M Harrison-Trainor, MC Ho Proceedings of the American Mathematical Society 146 (10), 4473-4485, 2018 | 19 | 2018 |
| A note on cancellation axioms for comparative probability M Harrison-Trainor, WH Holliday, TF Icard Theory and Decision 80 (1), 159-166, 2016 | 18 | 2016 |
| First-order possibility models and finitary completeness proofs M Harrison-Trainor The Review of Symbolic Logic 12 (4), 637-662, 2019 | 15 | 2019 |
| Scott complexity of countable structures R Alvir, N Greenberg, M Harrison-Trainor, D Turetsky preprint, 2020 | 14 | 2020 |
| Some new computable structures of high rank M Harrison-Trainor, G Igusa, J Knight Proceedings of the American Mathematical Society 146 (7), 3097-3109, 2018 | 14 | 2018 |
| Differential-algebraic jet spaces preserve internality to the constants Z Chatzidakis, M Harrison-Trainor, R Moosa The Journal of Symbolic Logic 80 (3), 1022-1034, 2015 | 14 | 2015 |
| There is no classification of the decidably presentable structures M Harrison-Trainor Journal of Mathematical Logic, 1850010, 2018 | 12 | 2018 |
| Non-density in punctual computability N Greenberg, M Harrison-Trainor, A Melnikov, D Turetsky Annals of Pure and Applied Logic, 102985, 2021 | 11 | 2021 |
| Degrees of categoricity above limit ordinals BF Csima, M Deveau, M Harrison-Trainor, MA Mahmoud Computability 9 (2), 127-137, 2020 | 11 | 2020 |
| Inferring probability comparisons M Harrison-Trainor, WH Holliday, TF Icard III Mathematical Social Sciences, 2017 | 11 | 2017 |
