Order:
See also
Thomas William Barrett
University of California at Santa Barbara
  1. What Do Symmetries Tell Us About Structure?Thomas William Barrett - 2017 - Philosophy of Science (4):617-639.
    Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  2. Mutual translatability, equivalence, and the structure of theories.Thomas William Barrett & Hans Halvorson - 2022 - Synthese 200 (3):1-36.
    This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Extension, Translation, and the Cantor-Bernstein Property.Thomas William Barrett & Hans Halvorson - manuscript
    The purpose of this paper is to examine in detail a particularly interesting pair of first-order theories. In addition to clarifying the overall geography of notions of equivalence between theories, this simple example yields two surprising conclusions about the relationships that theories might bear to one another. In brief, we see that theories lack both the Cantor-Bernstein and co-Cantor-Bernstein properties.
    Download  
     
    Export citation  
     
    Bookmark