Matthew Harrison-Trainor is a contemporary mathematical logician whose work spans computability theory, model theory, and the foundations of game theory. He has contributed to the philosophical analysis of sequential games, particularly regarding how players update plausibility judgments during actual play versus in theoretical equilibrium analysis.
Research on computable structure theory and effective mathematics
Work on plausibility updates and interpretation in sequential games
Contributions to model theory and definability
Published research bridging mathematical logic and game-theoretic reasoning