SearcharxivSearch

arXiv subjects

Thomas William Barrett

Publications and source records attributed to Thomas William Barrett.

3 recordsLinked to original sources

On Automorphism Criteria for Comparing Amounts of Mathematical Structure

Wilhelm (2021) has recently defended a criterion for comparing structure of mathematical objects, which he calls Subgroup. He argues that Subgroup is better than SYM * , another widely adopted criterion. We argue that this is mistaken; Subgroup is strictly worse than SYM *. We then formulate a new criterion that improves on both SYM * and Subgroup, answering Wilhelm's criticisms of SYM * along the way. We conclude by arguing that no criterion that looks only to the automorphisms of mathematical objects to compare their structure can be fully satisfactory.

physics.hist-ph

On Einstein Algebras and Relativistic Spacetimes

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson (2012, 2015) and Weatherall (2015), the two are equivalent theories.

physics.hist-ph

Morita Equivalence

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

math.LO