Följ
Matthew Harrison-trainor
Matthew Harrison-trainor
Verifierad e-postadress på vuw.ac.nz - Startsida
Titel
Citeras av
Citeras av
År
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
592017
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
242019
Nonstandard methods for bounds in differential polynomial rings
M Harrison-Trainor, J Klys, R Moosa
Journal of Algebra 360, 71-86, 2012
202012
Independence in computable algebra
M Harrison-Trainor, A Melnikov, A Montalbán
Journal of Algebra 443, 441-468, 2015
192015
DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS
BF Csima, M Harrison-Trainor
The Journal of Symbolic Logic 82 (1), 325-346, 2017
18*2017
Borel functors and infinitary interpretations
M Harrison-Trainor, R Miller, A Montalbán
The Journal of Symbolic Logic 83 (4), 1434-1456, 2018
162018
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
132018
A note on cancellation axioms for comparative probability
M Harrison-Trainor, WH Holliday, TF Icard
Theory and Decision 80 (1), 159-166, 2016
122016
GRAPHS ARE NOT UNIVERSAL FOR ONLINE COMPUTABILITY
R DOWNEY, M HARRISON-TRAINOR, I KALIMULLIN, A MELNIKOV, ...
12*
First-order possibility models and finitary completeness proofs
M Harrison-Trainor
The Review of Symbolic Logic 12 (4), 637-662, 2019
112019
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
112018
Inferring probability comparisons
M Harrison-Trainor, WH Holliday, TF Icard III
Mathematical Social Sciences, 2017
102017
Computability of Polish spaces up to homeomorphism
M Harrison-Trainor, A Melnikov, KM Ng
The Journal of Symbolic Logic 85 (4), 1664-1686, 2020
92020
There is no classification of the decidably presentable structures
M Harrison-Trainor
Journal of Mathematical Logic, 1850010, 2018
92018
Preferential structures for comparative probabilistic reasoning
M Harrison-Trainor, WH Holliday, TF Icard III
Thirty-First AAAI Conference on Artificial Intelligence, 2017
92017
The logic of comparative cardinality
Y Ding, M Harrison-Trainor, WH Holliday
eScholarship, University of California, 2018
82018
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
82015
Degrees of categoricity above limit ordinals
BF Csima, M Deveau, M Harrison-Trainor, MA Mahmoud
Computability 9 (2), 127-137, 2020
72020
Left-orderable computable groups
M Harrison-Trainor
The Journal of Symbolic Logic 83 (1), 237-255, 2018
72018
Worldizations of possibility models
M Harrison-Trainor
preprint, 2016
72016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20