Search Results - "Harrison-Trainor, Matthew"

Scott analysis, linear orders, and almost periodic functions.

Authors: Gonzalez, David Harrison‐Trainor, Matthew "Turbo" Ho, Meng‐Che

Source: Bulletin of the London Mathematical Society. Apr2025, Vol. 57 Issue 4, p1118-1139. 22p.

Two results on complexities of decision problems of groups.

Authors: Andrews, Uri Harrison-Trainor, Matthew Ho, Meng-Che "Turbo"

Source: International Journal of Algebra & Computation. Mar2025, Vol. 35 Issue 2, p311-327. 17p.

INFINITARY LOGIC HAS NO EXPRESSIVE EFFICIENCY OVER FINITARY LOGIC.

Authors: HARRISON-TRAINOR, MATTHEW KRETSCHMER, MILES

Source: Journal of Symbolic Logic. Dec2024, Vol. 89 Issue 4, p1817-1834. 18p.

Enumerations of families closed under finite differences.

Authors: Greenberg, Noam Harrison-Trainor, Matthew Miller, Joseph S. et al.

Source: Computability. 2024, Vol. 13 Issue 1, p89-104. 16p.

The property "arithmetic-is-recursive" on a cone.

Authors: Andrews, Uri Harrison-Trainor, Matthew Schweber, Noah

Source: Journal of Mathematical Logic. Dec2021, Vol. 21 Issue 3, p1-18. 18p.

COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM.

Authors: HARRISON-TRAINOR, MATTHEW MELNIKOV, ALEXANDER MENG NG, KENG

Source: Journal of Symbolic Logic. Dec2020, Vol. 85 Issue 4, p1664-1686. 23p.

THE LOGIC OF COMPARATIVE CARDINALITY.

Authors: DING, YIFENG HARRISON-TRAINOR, MATTHEW HOLLIDAY, WESLEY H.

Source: Journal of Symbolic Logic. Sep2020, Vol. 85 Issue 3, p972-1005. 34p.

AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES.

Authors: BAZHENOV, NIKOLAY HARRISON-TRAINOR, MATTHEW KALIMULLIN, ISKANDER et al.

Source: Journal of Symbolic Logic. Dec2019, Vol. 84 Issue 4, p1630-1669. 40p.

FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS.

Authors: HARRISON-TRAINOR, MATTHEW¹ matthew.harrisontrainor@vuw.ac.nz

Source: Review of Symbolic Logic. Dec2019, Vol. 12 Issue 4, p637-662. 26p.

An arithmetic analysis of closed surfaces.

Authors: Harrison-Trainor, Matthew Melnikov, Alexander

Source: Transactions of the American Mathematical Society. Mar2024, Vol. 377 Issue 3, p1543-1596. 54p.

Effective aspects of algorithmically random structures.

Authors: Harrison-Trainor, Matthew Khoussainov, Bakh Turetsky, Daniel et al.

Source: Computability. 2019, Vol. 8 Issue 3/4, p359-375. 17p.

A first-order theory of Ulm type.

Authors: Harrison-Trainor, Matthew Brattka, Vasco Downey, Rod et al.

Source: Computability. 2019, Vol. 8 Issue 3/4, p347-358. 12p.

BOREL FUNCTORS AND INFINITARY INTERPRETATIONS.

Authors: HARRISON-TRAINOR, MATTHEW MILLER, RUSSELL MONTALBÁN, ANTONIO

Source: Journal of Symbolic Logic. Dec2018, Vol. 83 Issue 4, p1434-1456. 23p.

There is no classification of the decidably presentable structures.

Authors: Harrison-Trainor, Matthew¹

Source: Journal of Mathematical Logic. Dec2018, Vol. 18 Issue 2, pN.PAG-N.PAG. 41p.

Computable valued fields.

Authors: Harrison-Trainor, Matthew^1,2, maharris@uwaterloo.ca

Source: Archive for Mathematical Logic; Aug2018, Vol. 57 Issue 5/6, p473-495, 23p

LEFT-ORDERABLE COMPUTABLE GROUPS.

Authors: HARRISON-TRAINOR, MATTHEW¹

Source: Journal of Symbolic Logic. Mar2018, Vol. 83 Issue 1, p237-255. 19p.

DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS.

Authors: Csima, Barbara F. Harrison-Trainor, Matthew

Source: Journal of Symbolic Logic. Mar2017, Vol. 82 Issue 1, p325-346. 22p.

COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY.

Authors: Harrison-Trainor, Matthew Melnikov, Alexander Miller, Russell et al.

Source: Journal of Symbolic Logic. Mar2017, Vol. 82 Issue 1, p77-97. 21p.

DIFFERENTIAL-ALGEBRAIC JET SPACES PRESERVE INTERNALITY TO THE CONSTANTS.

Authors: CHATZIDAKIS, ZOE HARRISON-TRAINOR, MATTHEW MOOSA, RAHIM

Source: Journal of Symbolic Logic. Sep2015, Vol. 80 Issue 3, p1022-1034. 13p.

An analysis of random elections with large numbers of voters.

Authors: Harrison-Trainor, Matthew¹ (AUTHOR) matthhar@umich.edu

Source: Mathematical Social Sciences. Mar2022, Vol. 116, p68-84. 17p.