Follow
Matthew Harrison-trainor
Matthew Harrison-trainor
Verified email at vuw.ac.nz - Homepage
Title
Cited by
Cited by
Year
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
662017
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
342019
Computability of Polish spaces up to homeomorphism
M Harrison-Trainor, A Melnikov, KM Ng
The Journal of Symbolic Logic 85 (4), 1664-1686, 2020
282020
Independence in computable algebra
M Harrison-Trainor, A Melnikov, A Montalbán
Journal of Algebra 443, 441-468, 2015
242015
DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS
BF Csima, M Harrison-Trainor
The Journal of Symbolic Logic 82 (1), 325-346, 2017
22*2017
Nonstandard methods for bounds in differential polynomial rings
M Harrison-Trainor, J Klys, R Moosa
Journal of Algebra 360, 71-86, 2012
222012
Borel functors and infinitary interpretations
M Harrison-Trainor, R Miller, A Montalbán
The Journal of Symbolic Logic 83 (4), 1434-1456, 2018
212018
GRAPHS ARE NOT UNIVERSAL FOR ONLINE COMPUTABILITY
R DOWNEY, M HARRISON-TRAINOR, I KALIMULLIN, A MELNIKOV, ...
18*
A note on cancellation axioms for comparative probability
M Harrison-Trainor, WH Holliday, TF Icard
Theory and Decision 80 (1), 159-166, 2016
172016
The logic of comparative cardinality
Y Ding, M Harrison-Trainor, WH Holliday
eScholarship, University of California, 2018
152018
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
152018
COMPUTABLE STONE SPACES
N BAZHENOV, M HARRISON-TRAINOR, A MELNIKOV
132021
First-order possibility models and finitary completeness proofs
M Harrison-Trainor
The Review of Symbolic Logic 12 (4), 637-662, 2019
132019
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
132018
There is no classification of the decidably presentable structures
M Harrison-Trainor
Journal of Mathematical Logic, 1850010, 2018
112018
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
112015
Inferring probability comparisons
M Harrison-Trainor, WH Holliday, TF Icard III
Mathematical Social Sciences, 2017
102017
Preferential structures for comparative probabilistic reasoning
M Harrison-Trainor, WH Holliday, TF Icard III
Thirty-First AAAI Conference on Artificial Intelligence, 2017
102017
Degrees of categoricity above limit ordinals
BF Csima, M Deveau, M Harrison-Trainor, MA Mahmoud
Computability 9 (2), 127-137, 2020
92020
Left-orderable computable groups
M Harrison-Trainor
The Journal of Symbolic Logic 83 (1), 237-255, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20