masterbib.bib

@incollection{koppelberg,
  author =	 {S. Koppelberg},
  title =	 {General theory of {B}oolean algebras},
  editor =	 {J.D. Monk and R. Bonnet},
  booktitle =	 {Handbook of Boolean algebras},
  volume =	 3,
  publisher =	 {North-Holland},
  year =	 1989
}

@book{smith2013,
  title =	 {An introduction to G{\"o}del's theorems},
  author =	 {Smith, Peter},
  year =	 2013,
  publisher =	 {Cambridge University Press}
}

@unpublished{keisler-ult,
  author =	 {H. Jerome Keisler},
  title =	 {The ultraproduct construction},
  year =	 2010,
  note =
                  {http://www.math.wisc.edu/~keisler/ultraproducts-web-final.pdf}
}

@article{elvis,
  title={Fifty million {E}lvis fans can't be wrong},
  author={Belot, Gordon},
  journal={No{\^u}s},
  year={2017}
}

@unpublished{dougherty,
  title =	 {How to do things with isomorphisms},
  author =	 {John Dougherty},
  year =	 2017,
  note =	 {Manuscript}
}

@article{martin1966,
  title =	 {On theoretical constructs and {R}amsey constants},
  author =	 {Martin, Richard M},
  journal =	 {Philosophy of Science},
  volume =	 33,
  number =	 {1/2},
  pages =	 {1--13},
  year =	 1966
}

@article{scheffler,
  title =	 {Reflections on the {R}amsey method},
  author =	 {Scheffler, Israel},
  journal =	 {The Journal of Philosophy},
  volume =	 65,
  number =	 10,
  pages =	 {269--274},
  year =	 1968
}

@article{newman1928,
  title={Mr. {R}ussell's ``Causal Theory of Perception''},
  author={Newman, Maxwell HA},
  journal={Mind},
  volume={37},
  number={146},
  pages={137--148},
  year={1928}
}

@book{demo2013,
  title =	 {Logicism and its Philosophical Legacy},
  author =	 {Demopoulos, W.},
  year =	 2013,
  publisher =	 {Cambridge University Press}
}

@article{lewis-id,
  title =	 {An argument for the identity theory},
  author =	 {Lewis, David},
  journal =	 {The Journal of Philosophy},
  volume =	 63,
  number =	 1,
  pages =	 {17--25},
  year =	 1966
}

@book{blatti,
  title =	 {Ontology after Carnap},
  author =	 {Blatti, S. and Lapointe, S.},
  year =	 2016,
  publisher =	 {Oxford University Press}
}


@article{friedman2011,
  title =	 {Carnap on theoretical terms: structuralism without
                  metaphysics},
  author =	 {Friedman, Michael},
  journal =	 {Synthese},
  volume =	 180,
  number =	 2,
  pages =	 {249--263},
  year =	 2011
}

@article{park2012,
  title =	 {Friedman on implicit definition: in search of the
                  {H}ilbertian heritage in philosophy of science},
  author =	 {Park, Woosuk},
  journal =	 {Erkenntnis},
  volume =	 76,
  number =	 3,
  pages =	 {427--442},
  year =	 2012
}

@article{uebel2011,
  title =	 {Carnap's ramseyfications defended},
  author =	 {Uebel, Thomas},
  journal =	 {European Journal for Philosophy of Science},
  volume =	 1,
  number =	 1,
  pages =	 {71--87},
  year =	 2011
}

@article{beni,
  author =	 {Majid Davoody Beni},
  title =	 {Structural realism without metaphysics: notes on
                  {C}arnap's measured pragmatic structural realism},
  journal =	 {Organon F},
  volume =	 22,
  number =	 3,
  year =	 2015,
  pages =	 {302--324}
}

@book{creath,
  title =	 {The Cambridge Companion to {C}arnap},
  author =	 {Creath, Richard and Friedman, Michael},
  year =	 2007,
  publisher =	 {Cambridge University Press}
}

@book{braithwaite,
  title =	 {Scientific explanation: A study of the function of
                  theory, probability and law in science},
  author =	 {Braithwaite, Richard Bevan},
  year =	 1953,
  publisher =	 {Cambridge University Press}
}

@PhdThesis{bohnert,
  author = 	 {Herbert G Bohnert},
  title = 	 {The interpretation of theory},
  school = 	 {University of Pennsylvania},
  year = 	 1961
}

@article{ladyman,
  author =	 {James Ladyman},
  title =	 {Structural realism},
  journal =	 {Stanford Online Encyclopedia of Philosophy},
  year =	 2014,
  note =
                  {https://plato.stanford.edu/entries/structural-realism/}
}

@article{ketland,
  title =	 {Empirical adequacy and {R}amsification},
  author =	 {Ketland, Jeffrey},
  journal =	 {The British Journal for the Philosophy of Science},
  volume =	 55,
  number =	 2,
  pages =	 {287--300},
  year =	 2004
}

@article{ainsworth,
  title =	 {Newman's objection},
  author =	 {Ainsworth, Peter M},
  journal =	 {The British Journal for the Philosophy of Science},
  volume =	 60,
  number =	 1,
  pages =	 {135--171},
  year =	 2009
}

@article{carnap-eso,
  title =	 {Empiricism, semantics, and ontology},
  author =	 {Carnap, Rudolf},
  journal =	 {Revue internationale de philosophie},
  pages =	 {20--40},
  year =	 1950
}

@article{quine-cvo,
  title =	 {On {C}arnap's views on ontology},
  author =	 {Quine, Willard V},
  journal =	 {Philosophical studies},
  volume =	 2,
  number =	 5,
  pages =	 {65--72},
  year =	 1951,
  publisher =	 {Springer}
}

@book{manes,
  title =	 {Algebraic theories},
  author =	 {Manes, Ernest G},
  year =	 1976,
  publisher =	 {Springer}
}

@article{zawadowski,
  title =	 {Descent and duality},
  author =	 {Zawadowski, Marek W},
  journal =	 {Annals of Pure and Applied Logic},
  volume =	 71,
  number =	 2,
  pages =	 {131--188},
  year =	 1995
}

@article{moerdijk1999,
  title =	 {Proof of a conjecture of {A.} {P}itts},
  author =	 {Moerdijk, I and Vermeulen, JJC},
  journal =	 {Journal of Pure and Applied Algebra},
  volume =	 143,
  number =	 {1-3},
  pages =	 {329--338},
  year =	 1999
}

@book{halmos,
  title =	 {Introduction to {B}oolean algebras},
  author =	 {Givant, Steven and Halmos, Paul},
  year =	 2008,
  publisher =	 {Springer}
}

@article{superv,
  note =	 {https://plato.stanford.edu/entries/supervenience/},
  author =	 {Brian McLaughlin and Karen Bennett},
  title = {Supervenience},
  journal =	 {Stanford Online Encyclopedia of Philosophy},
  year =	 2018
}

@incollection{davidson,
  title =	 {Mental events},
  author =	 {Davidson, Donald},
  editor =	 {L. Foster and J. W. Swanson},
  booktitle =	 {Essays on actions and events},
  pages =	 {107--119},
  publisher =	 {Clarendon Press},
  year =	 1970
}

@book{boolos,
  title =	 {Computability and logic},
  author =	 {Boolos, George S and Burgess, John P and Jeffrey,
                  Richard C},
  year =	 2002,
  publisher =	 {Cambridge University Press}
}

@book{sikorski-boo,
  title =	 {Boolean algebras},
  author =	 {Sikorski, Roman},
  year =	 1969,
  publisher =	 {Springer}
}

@book{dwinger,
  title =	 {Introduction to {B}oolean algebras},
  author =	 {Dwinger, Philip},
  year =	 1971,
  publisher =	 {Physica-Verlag}
}

@book{ribes,
  title =	 {Profinite groups},
  author =	 {Ribes, Luis and Zalesskii, Pavel},
  booktitle =	 {Profinite Groups},
  year =	 2000,
  publisher =	 {Springer}
}

@book{engelking,
  title =	 {General topology},
  author =	 {Engelking, Ryszard},
  year =	 1989,
  publisher =	 {Heldermann Verlag},
}

@misc{monk,
  author =	 {J. Donald Monk},
  title =	 {The Mathematics of {B}oolean algebras},
  year =	 2014,
  note =	 {https://plato.stanford.edu/entries/boolalg-math/}
}

@book{bell-machover,
  title =	 {A course in mathematical logic},
  publisher =	 {North-Holland},
  author =	 {Bell, J and Machover, M},
  year =	 1977
}

@book{cori,
  title =	 {Mathematical Logic},
  author =	 {Cori, Ren{\'e} and Lascar, Daniel},
  year =	 2000,
  publisher =	 {Oxford University Press}
}

@book{halmos1998,
  title =	 {Logic as algebra},
  author =	 {Halmos, Paul and Givant, Steven},
  year =	 1998,
  publisher =	 {Cambridge University Press}
}

@article{fletcher,
  author =	 {Samuel Fletcher},
  title =	 {Similarity, topology, and physical significance in
                  relativity theory},
  journal =	 {British Journal for the Philosophy of Science},
  volume =	 67,
  number =	 2,
  pages =	 {365–389},
  year =	 2016
}

@book{john-stone,
  title =	 {Stone spaces},
  author =	 {Johnstone, Peter T},
  year =	 1986,
  publisher =	 {Cambridge University Press}
}

@book{willard,
  title =	 {General topology},
  author =	 {Willard, Stephen},
  year =	 1970,
  publisher =	 {Dover}
}

@book{munkres,
  title =	 {Topology},
  author =	 {Munkres, James R},
  year =	 2000,
  publisher =	 {Prentice Hall}
}

@book{bickle,
  title =	 {Psychoneural reduction: The new wave},
  author =	 {Bickle, John},
  year =	 1998,
  publisher =	 {{MIT} Press}
}

@incollection{snafu,
  author =	 {Albert Visser},
  booktitle =	 {Logic in {T}ehran. {P}roceedings of the workshop and
                  conference on {L}ogic, {A}lgebra and {A}rithmetic,
                  held {O}ctober 18--22, 2003},
  publisher =	 {ASL},
  title =	 {Categories of Theories and Interpretations},
  Year =	 2006
}

@article{butz,
  title =	 {Representing topoi by topological groupoids},
  author =	 {Butz, Carsten and Moerdijk, Ieke},
  year =	 1998,
  journal =	 {Journal of Pure and Applied Algebra},
  volume =	 130,
  pages =	 {223--235}
}

@incollection{winnie,
  title =	 {Invariants and objectivity: A theory with
                  applications to relativity and geometry},
  author =	 {Winnie, John A},
  booktitle =	 {From quarks to quasars},
  editor =	 {Colodny, Robert},
  publisher =	 {University of Pittsburgh Press},
  year =	 1986
}

@incollection{makkai-up,
  title =	 {Ultraproducts and categorical logic},
  author =	 {Makkai, Michael},
  booktitle =	 {Methods in mathematical logic},
  pages =	 {222--309},
  year =	 1985,
  publisher =	 {Springer}
}

@misc{makkai-folds,
  note =
                  {http://www.math.mcgill.ca/makkai/folds/foldsinpdf/FOLDS.pdf},
  author =	 {Michael Makkai},
  title =	 {First order logic with dependent sorts with
                  applications to category theory},
  year =	 1995
}

@misc{dimitris-folds,
  note =	 {https://arxiv.org/abs/1603.03092},
  author =	 {Dimitris Tsementzis},
  title =	 {First-order logic with isomorphism},
  year =	 2017
}

@article{muller,
  title =	 {How to talk about unobservables},
  author =	 {Muller, F A and van Fraassen, Bas},
  journal =	 {Analysis},
  volume =	 68,
  number =	 299,
  pages =	 {197--205},
  year =	 2008
}

@article{dicken2006,
  title =	 {What can {B}as believe? {M}usgrave and van
                  {F}raassen on observability},
  author =	 {Dicken, Paul and Lipton, Peter},
  journal =	 {Analysis},
  volume =	 66,
  number =	 291,
  pages =	 {226--233},
  year =	 2006
}


@incollection{reck,
  author =	 {Erich Reck},
  title =	 {Carnap and modern logic},
  booktitle =	 {The Cambridge Companion to Carnap},
  publisher =	 {Cambridge University Press},
  editor =	 {Richard Creath and Michael Friedman},
  year =	 2007
}


@PhdThesis{breiner,
  author = 	 {Spencer Breiner},
  title = 	 {Scheme representation for first-order logic},
  school = 	 {Carnegie Mellon University},
  year = 	 2014
}

@article{weather-hole,
  title =	 {Regarding the `hole argument'},
  author =	 {Weatherall, James Owen},
  journal =	 {The British Journal for the Philosophy of Science},
  year =	 2016,
  pages =	 {1--22}
}

@article{lewis-putnam,
  title={Putnam's paradox},
  author={Lewis, David},
  journal={Australasian Journal of Philosophy},
  volume=62,
  number=3,
  pages={221--236},
  year=1984
}

@article{bas-putnam,
  title={Putnam's paradox: Metaphysical realism revamped and evaded},
  author={van Fraassen, Bas},
  journal={No{\^u}s},
  volume={31},
  number={s11},
  pages={17--42},
  year={1997}
}

@article{bealer,
  title =	 {An inconsistency in functionalism},
  author =	 {Bealer, George},
  journal =	 {Synthese},
  volume =	 38,
  number =	 3,
  pages =	 {333--372},
  year =	 1978
}

@book{tennant-book,
  title =	 {Introducing philosophy: {G}od, mind, world, and
                  logic},
  author =	 {Neil Tennant},
  publisher =	 {Routledge},
  year =	 2015
}

@incollection{kochen,
  title={Topics in the theory of definition},
  author={Kochen, Simon},
  booktitle={The Theory of Models},
  pages={170--176},
  year=1963,
  publisher={Elsevier}
}

@misc{barrett-beth,
  author =	 {Thomas William Barrett},
  title =	 {What do symmetries tell us about structure?},
  year =	 2018,
  note =	 {Forthcoming in {\it Philosophy of Science}}
}

@article{beth,
  title =	 {On {P}adoa's method in the theory of definition},
  author =	 {Beth, Evert W},
  year =	 1956,
  journal =	 {Journal of Symbolic Logic},
  volume =	 21,
  number =	 2,
  pages =	 {194--195}
}

@article{petrie,
  title =	 {Global supervenience and reduction},
  author =	 {Petrie, Bradford},
  journal =	 {Philosophy and Phenomenological Research},
  volume =	 48,
  number =	 1,
  pages =	 {119--130},
  year =	 1987
}

@article{svenonius,
  title={A theorem on permutations in models},
  author={Svenonius, Lars},
  journal={Theoria},
  volume={25},
  number={3},
  pages={173--178},
  year={1959},
}

@article{tennant,
  title =	 {Beth's theorem and reductionism},
  author =	 {Tennant, Neil},
  journal =	 {Pacific Philosophical Quarterly},
  volume =	 66,
  number =	 {3-4},
  pages =	 {342--354},
  year =	 1985
}

@misc{dewar-eva,
  title =	 {A categorical perspective on symmetry and
                  equivalence},
  year =	 2018,
  author =	 {Neil Dewar and Benjamin Eva},
  note =	 {http://philsci-archive.pitt.edu/13401/}
}



@article{lutz2017,
  author =	 {Lutz, Sebastian},
  title =	 {What was the syntax-semantics debate in the
                  philosophy of science about?},
  journal =	 {Philosophy and Phenomenological Research},
  volume =	 95,
  number =	 2,
  url =		 {http://dx.doi.org/10.1111/phpr.12221},
  doi =		 {10.1111/phpr.12221},
  pages =	 {319--352},
  year =	 2017
}


@article{turney,
  title =	 {Embeddability, syntax, and semantics in accounts of
                  scientific theories},
  author =	 {Turney, Peter},
  journal =	 {Journal of Philosophical Logic},
  volume =	 19,
  number =	 4,
  pages =	 {429--451},
  year =	 1990
}

@article{benthem-new,
  title =	 {The logical study of science},
  author =	 {van Benthem, Johan},
  journal =	 {Synthese},
  volume =	 51,
  number =	 3,
  pages =	 {431--472},
  year =	 1982
}

@article{leitgeb,
  title =	 {Logic in general philosophy of science: old things
                  and new things},
  author =	 {Leitgeb, Hannes},
  journal =	 {Synthese},
  volume =	 179,
  number =	 2,
  pages =	 {339--350},
  year =	 2011
}

@article{fraassen-new,
  title =	 {Logic and the Philosophy of Science},
  author =	 {van Fraassen, Bas},
  journal =	 {Journal of the Indian Council of Philosophical
                  Research},
  volume =	 27,
  pages =	 {45--66},
  year =	 2011
}

@book{scheibe,
  title =	 {Die {R}eduktion physikalischer {T}heorien: Ein
                  {B}eitrag zur {E}inheit der {P}hysik},
  author =	 {Scheibe, Erhard},
  year =	 2013,
  publisher =	 {Springer-Verlag}
}



@book{suppe1989,
  title =	 {The semantic conception of theories and scientific
                  realism},
  author =	 {Suppe, Frederick},
  year =	 1989,
  publisher =	 {University of Illinois Press}
}

@article{sarkar,
  title =	 {Nagel on reduction},
  author =	 {Sarkar, Sahotra},
  journal =	 {Studies in History and Philosophy of Science},
  volume =	 53,
  pages =	 {43--56},
  year =	 2015
}

@book{lloyd1994,
  title =	 {The structure and confirmation of evolutionary
                  theory},
  author =	 {Lloyd, Elisabeth Anne},
  year =	 1994,
  publisher =	 {Princeton University Press}
}

@article{barrett2014a,
  Author =	 {Thomas William Barrett and Hans Halvorson},
  Journal =	 {Forthcoming in the Journal of Philosophical Logic},
  Title =	 {Glymour and {Q}uine on Theoretical Equivalence},
  Year =	 2015
}

@article{barrett-glymour,
  title =	 {Glymour and {Q}uine on theoretical equivalence},
  author =	 {Barrett, Thomas William and Halvorson, Hans},
  journal =	 {Journal of Philosophical Logic},
  volume =	 45,
  number =	 5,
  pages =	 {467--483},
  year =	 2016
}

@article{mcsweeney,
  author =	 {Michaela McSweeney},
  title =	 {An epistemic account of metaphysical equivalence},
  journal =	 {Philosophical Perspectives},
  volume =	 30,
  number =	 1,
  pages =	 {270--293},
  year = 2016
}

@book{button,
  title =	 {The limits of realism},
  author =	 {Button, Tim},
  year =	 2013,
  publisher =	 {Oxford University Press}
}

@article{hellman1985,
  title =	 {Determination and logical truth},
  author =	 {Hellman, Geoffrey},
  journal =	 {The Journal of philosophy},
  volume =	 82,
  number =	 11,
  pages =	 {607--616},
  year =	 1985
}

@article{putnam-models,
  title =	 {Models and reality},
  author =	 {Putnam, Hilary},
  journal =	 {The Journal of Symbolic Logic},
  volume =	 45,
  number =	 3,
  pages =	 {464--482},
  year =	 1980
}


@article{lawvere-etcs,
  title =	 {An elementary theory of the category of sets},
  author =	 {Lawvere, F William},
  journal =	 {Proceedings of the National Academy of Sciences},
  volume =	 52,
  number =	 6,
  pages =	 {1506--1511},
  year =	 1964
}

@book{marker,
  title =	 {Model theory: an introduction},
  author =	 {Marker, David},
  year =	 2006,
  publisher =	 {Springer}
}

@book{poizat,
  title =	 {A course in model theory},
  author =	 {Poizat, Bruno},
  year =	 2012,
  publisher =	 {Springer}
}


@incollection{manzano-paper,
  title =	 {Introduction to many-sorted logic},
  author =	 {Manzano, Mar{\'\i}a},
  booktitle =	 {Many-sorted Logic and its Applications},
  editor =	 {K. Meinke and J.V. Tucker},
  pages =	 {3--86},
  year =	 1993,
  publisher =	 {Wiley}
}

@inproceedings{feferman,
  title =	 {Applications of many-sorted interpolation theorems},
  author =	 {Feferman, Solomon},
  booktitle =	 {Proceedings of the Tarski Symposium},
  volume =	 25,
  pages =	 {205--223},
  year =	 1974
}

@article{frigg2011,
  title =	 {Everything you always wanted to know about
                  structural realism but were afraid to ask},
  author =	 {Frigg, Roman and Votsis, Ioannis},
  journal =	 {European journal for philosophy of science},
  volume =	 1,
  number =	 2,
  pages =	 {227--276},
  year =	 2011
}

@book{manzano-book,
  title =	 {Extensions of first-order logic},
  author =	 {Manzano, Maria},
  year =	 1996,
  publisher =	 {Cambridge University Press}
}

@article{dewar,
  title =	 {On translating between two logics},
  author =	 {Neil Dewar},
  journal =	 {Analysis},
  year =	 2018
}

@article{quine-goodman,
  title =	 {Elimination of extra-logical postulates},
  author =	 {Quine, Willard Van and Goodman, Nelson},
  journal =	 {The Journal of Symbolic Logic},
  volume =	 5,
  number =	 3,
  pages =	 {104--109},
  year =	 1940
}

@article{rosenstock2016,
  title =	 {A categorical equivalence between generalized
                  holonomy maps on a connected manifold and principal
                  connections on bundles over that manifold},
  author =	 {Rosenstock, Sarita and Weatherall, James Owen},
  journal =	 {Journal of Mathematical Physics},
  volume =	 57,
  number =	 10,
  pages =	 102902,
  year =	 2016
}

@article{quine-implicit,
  title =	 {Implicit definition sustained},
  author =	 {Quine, Willard Van},
  journal =	 {The Journal of Philosophy},
  volume =	 61,
  number =	 2,
  pages =	 {71--74},
  year =	 1964
}

@article{leinster,
  author =	 {T. Leinster},
  title =	 {Rethinking set theory},
  journal =	 {American Mathematical Monthly},
  volume =	 121,
  number =	 5,
  year =	 2014,
  pages =	 {403-415}
}


@book{lawvere-sets,
  title =	 {Sets for mathematics},
  author =	 {Lawvere, F William and Rosebrugh, Robert},
  year =	 2003,
  publisher =	 {Cambridge University Press}
}

@article{hellman,
  title =	 {Physicalism: Ontology, determination, and reduction},
  author =	 {Hellman, Geoffrey Paul and Thompson, Frank Wilson},
  journal =	 {The Journal of Philosophy},
  volume =	 72,
  number =	 17,
  pages =	 {551--564},
  year =	 1975
}

@article{nagel1935,
  title =	 {The logic of reduction in the sciences},
  author =	 {Nagel, Ernest},
  journal =	 {Erkenntnis},
  volume =	 5,
  number =	 1,
  pages =	 {46--52},
  year =	 1935
}

@book{nagel,
  title =	 {The structure of science},
  author =	 {Nagel, Ernest},
  publisher =	 {Harcourt, Brace, and World, Inc.},
  year =	 1961
}

@article{psillos2000,
  title =	 {Carnap, the {R}amsey-sentence and realistic
                  empiricism},
  author =	 {Psillos, Stathis},
  journal =	 {Erkenntnis},
  volume =	 52,
  number =	 2,
  pages =	 {253--279},
  year =	 2000
}

@article{baker2010,
  title =	 {Symmetry and the metaphysics of physics},
  author =	 {Baker, David John},
  journal =	 {Philosophy Compass},
  volume =	 5,
  number =	 12,
  pages =	 {1157--1166},
  year =	 2010
}

@incollection{psillos2006,
  title =	 {Ramsey's {R}amsey-sentences},
  author =	 {Psillos, Stathis},
  editor =	 {M.C. Galavotti},
  booktitle =	 {Cambridge and Vienna: Vienna Circle Institute Yearbook},
  pages =	 {67--90},
  year =	 2006,
  publisher =	 {Springer}
}

@incollection{ramsey,
  author =	 {Frank P. Ramsey},
  title =	 {Theories},
  booktitle =	 {F.P. {R}amsey Philosophical Papers},
  year =	 1929,
  publisher =	 {Cambridge University Press}
}

@incollection{zahar2001,
  author =	 {John Worrall and Elie Zahar},
  title =	 {Ramseyfication and structural realism},
  pages =	 {236--251},
  booktitle =	 {Poincar{\'e}'s Philosophy},
  publisher =	 {Open Court},
  year =	 2001
}

@article{zahar2004,
  title =	 {Ramseyfication and structural realism},
  author =	 {Zahar, Elie},
  journal =	 {Theoria. Revista de Teor{\'\i}a, Historia y
                  Fundamentos de la Ciencia},
  volume =	 19,
  number =	 1,
  pages =	 {5--30},
  year =	 2004
}

@article{cruse2005,
  title =	 {Ramsey sentences, structural realism and trivial
                  realization},
  author =	 {Cruse, Pierre},
  journal =	 {Studies In History and Philosophy of Science},
  volume =	 36,
  number =	 3,
  pages =	 {557--576},
  year =	 2005
}

@incollection{pgs-real,
  title =	 {Reduction in real life},
  author =	 {Godfrey-Smith, Peter},
  booktitle =	 {Being Reduced},
  editor =	 {Jakob Hohwy and Jesper Kallestrup},
  publisher =	 {Oxford University Press},
  pages =	 52,
  year =	 2008
}

@article{pgs,
  title =	 {Triviality arguments against functionalism},
  author =	 {Godfrey-Smith, Peter},
  journal =	 {Philosophical Studies},
  volume =	 145,
  number =	 2,
  pages =	 {273--295},
  year =	 2009
}

@article{lewis-psy,
  title =	 {Psychophysical and theoretical identifications},
  author =	 {Lewis, David},
  journal =	 {Australasian Journal of Philosophy},
  volume =	 50,
  number =	 3,
  pages =	 {249--258},
  year =	 1972
}

@article{fairy,
  title =	 {Fairy tales vs an ongoing story: {R}amsey's
                  neglected argument for scientific realism},
  author =	 {Earman, John},
  journal =	 {Philosophical Studies},
  volume =	 33,
  number =	 2,
  pages =	 {195--202},
  year =	 1978
}

@incollection{coffa-geom,
  title =	 {From geometry to tolerance: sources of
                  conventionalism in nineteenth-century geometry},
  author =	 {Coffa, Alberto},
  booktitle =	 {From quarks to quasars: Philosophical problems of
                  modern physics},
  editor =	 {Robert Colodny},
  publisher =	 {University of Pittsburgh Press},
  pages =	 {3--70},
  year =	 1986
}

@book{carnap-pfp,
  author =	 {Rudolf Carnap},
  title =	 {Philosophical foundations of physics},
  publisher =	 {Basic Books},
  year =	 1966
}

@book{tuomela,
  title =	 {Theoretical concepts},
  author =	 {Tuomela, Raimo},
  year =	 1973,
  publisher =	 {Springer}
}

@article{shoemaker,
  title =	 {Some varieties of functionalism},
  author =	 {Shoemaker, Sydney},
  journal =	 {Philosophical Topics},
  volume =	 12,
  number =	 1,
  pages =	 {93--119},
  year =	 1981
}

@incollection{menzies,
  title =	 {Is semantics in the plan?},
  author =	 {Menzies, Peter and Price, Huw},
  booktitle =	 {Conceptual analysis and philosophical naturalism},
  pages =	 {159--82},
  editor =	 {David Braddon-Mitchell and Robert Nola},
  year =	 2009,
  publisher =	 {MIT Press}
}

@incollection{lewis1994,
  title =	 {Reduction of mind},
  author =	 {Lewis, David},
  editor =	 {Samuel Guttenplan},
  booktitle =	 {Companion to the Philosophy of Mind},
  publisher =	 {Blackwel},
  pages =	 {412--431},
  year =	 1994
}

@article{melia,
  title =	 {Ramseyfication and theoretical content},
  author =	 {Melia, Joseph and Saatsi, Juha},
  journal =	 {The British Journal for the Philosophy of Science},
  volume =	 57,
  number =	 3,
  pages =	 {561--585},
  year =	 2006
}

@article{hudson,
  title =	 {Carnap, the principle of tolerance, and empiricism},
  author =	 {Hudson, Robert},
  journal =	 {Philosophy of Science},
  volume =	 77,
  number =	 3,
  pages =	 {341--358},
  year =	 2010
}


@incollection{cruse,
  title =	 {Scientific realism without reference},
  author =	 {Cruse, Pierre and Papineau, David},
  booktitle =	 {The problem of realism},
  editor =	 {Michele Marsonet},
  pages =	 {174--189},
  year =	 2002,
  publisher =	 {Ashgate}
}

@article{worrall,
  title =	 {Structural realism: The best of both worlds?},
  author =	 {Worrall, John},
  journal =	 {Dialectica},
  volume =	 43,
  number =	 {1-2},
  pages =	 {99--124},
  year =	 1989
}

@article{riel,
  title =	 {Scientific reduction},
  author =	 {Raphael van Riel and Robert van Gulick},
  journal =	 {Stanford Encyclopedia of Philosophy},
  year =	 2014,
  note =
                  {https://plato.stanford.edu/entries/scientific-reduction/}
}

@book{field2016,
  title =	 {Science without numbers},
  author =	 {Field, Hartry},
  year =	 1980,
  publisher =	 {Princeton University Press}
}


@PhdThesis{goedel,
  author =	 {Kurt G{\"o}del},
  title =	 {{\"U}ber die Vollst{\"a}ndigkeit des
                  Logikkalk{\"u}ls},
  school =	 {University of Vienna},
  year =	 1929
}

@article{hudetz-sem,
  title =	 {The semantic view of theories and higher-order
                  languages},
  author =	 {Hudetz, Laurenz},
  journal =	 {Synthese},
  pages =	 {1--19},
  year =	 2017
}



@article{rasiowa,
  title =	 {A proof of the completeness theorem of {G}{\"o}del},
  author =	 {Rasiowa, Helena and Sikorski, Roman},
  year =	 1950,
  journal =	 {Fundamenta Mathematicae},
  volume =	 37,
  number =	 1,
  pages =	 {193--200}
}

@article{zach,
  author =	 {Richard Zach},
  title =	 {Hilbert's program},
  journal =	 {Stanford Online Encyclopedia of Philosophy},
  year =	 2015,
  url =		 {https://plato.stanford.edu/entries/hilbert-program/}
}

@article{van1984,
  title =	 {A mathematical characterization of interpretation
                  between theories},
  author =	 {van Benthem, Johan and Pearce, David},
  journal =	 {Studia Logica},
  volume =	 43,
  number =	 3,
  pages =	 {295--303},
  year =	 1984,
  publisher =	 {Springer}
}



@PhdThesis{hudetz-thesis,
  author = 	 {Laurenz Hudetz},
  title = 	 {The logic of scientific theories},
  school = 	 {University of Salzburg},
  year = 	 {2018}
}

@book{carnap1934,
  title =	 {Logische {S}yntax der {S}prache},
  author =	 {Carnap, Rudolf},
  year =	 1934,
  publisher =	 {Springer}
}

@article{tsementzis,
  title =	 {A syntactic characterization of {M}orita
                  equivalence},
  author =	 {Tsementzis, Dimitris},
  journal =	 {Journal of Symbolic Logic},
  volume =	 82,
  number =	 4,
  year =	 2017,
  pages =	 {1181--1198}
}

@incollection{szczerba1977,
  title =	 {Interpretability of elementary theories},
  author =	 {Szczerba, Les{\l}aw W},
  booktitle =	 {Logic, foundations of mathematics, and computability
                  theory},
  pages =	 {129--145},
  year =	 1977,
  publisher =	 {Springer}
}

@article{turner,
  title =	 {Logic and ontological pluralism},
  author =	 {Turner, Jason},
  journal =	 {Journal of Philosophical Logic},
  volume =	 41,
  number =	 2,
  pages =	 {419--448},
  year =	 2012
}

@incollection{carnap-met,
  title =	 {The methodological character of theoretical
                  concepts},
  author =	 {Carnap, Rudolf},
  booktitle =	 {The Foundations of Science and the Concepts of
                  Psychology and Psychoanalysis},
  year =	 1956,
  publisher =	 {University of Minnesota Press},
  address =	 {Minneapolis},
  pages =	 {38--76}
}



@book{andreas,
  author =	 {Holger Andreas},
  title =	 {Carnap's {W}issenschaftslogik: Eine {U}ntersuching
                  zur {Z}weistufenkonzeption},
  publisher =	 {Mentis},
  year =	 2007
}

@incollection{grandy1992,
  title={Theories of theories},
  author={Grandy, Richard E},
  editor = {John Earman},
  booktitle={Inference, Explanation, and Other Frustrations: Essays in the Philosophy of Science},
  pages={216--233},
  year={1992},
  publisher={University of California Press}
}

@article{lewis-terms,
  title =	 {How to define theoretical terms},
  author =	 {Lewis, David},
  journal =	 {The Journal of Philosophy},
  volume =	 67,
  number =	 13,
  pages =	 {427--446},
  year =	 1970
}

@book{coffa,
  title =	 {The semantic tradition from {K}ant to {C}arnap: To the
                  {V}ienna station},
  author =	 {Coffa, J Alberto},
  year =	 1993,
  publisher =	 {Cambridge University Press}
}

@incollection{carnap-flm,
  author =	 {Rudolf Carnap},
  title =	 {Foundations of logic and mathematics},
  booktitle =	 {International Encyclopedia of Unified Science},
  pages =	 {139--213},
  editor =	 {Otto Neurath and Rudolf Carnap and Charles Morris},
  publisher =	 {The University of Chicago Press},
  year =	 1938
}


@book{hodges,
  title =	 {Model Theory},
  author =	 {Hodges, Wilfrid},
  year =	 1993,
  publisher =	 {Cambridge University Press}
}

@book{herrlich2006,
  title =	 {Axiom of Choice},
  author =	 {Herrlich, Horst},
  year =	 2006,
  publisher =	 {Springer}
}

@article{herrlich2000,
  title =	 {The {B}aire category theorem and choice},
  author =	 {Herrlich, Horst and Keremedis, Kyriakos},
  journal =	 {Topology and its Applications},
  volume =	 108,
  number =	 2,
  pages =	 {157--167},
  year =	 2000
}

@book{kleene,
  title =	 {Introduction to metamathematics},
  author =	 {Kleene, Stephen Cole},
  year =	 1952,
  publisher =	 {van Nostrand},
  address =	 {New York}
}

@incollection{myers,
  title =	 {An interpretive isomorphism between binary and
                  ternary relations},
  author =	 {Myers, Dale},
  booktitle =	 {Structures in logic and computer science},
  pages =	 {84--105},
  year =	 1997,
  publisher =	 {Springer}
}

@article{burgess1984,
  title =	 {Synthetic mechanics},
  author =	 {Burgess, John P},
  journal =	 {Journal of Philosophical Logic},
  volume =	 13,
  number =	 4,
  pages =	 {379--395},
  year =	 1984
}

@article{boyd1973,
  title =	 {Realism, underdetermination, and a causal theory of
                  evidence},
  author =	 {Boyd, Richard N},
  journal =	 {No{\^u}s},
  volume = 7,
  number = 1,
  pages =	 {1--12},
  year =	 1973
}

@article{hawthorne1996,
  title =	 {Mathematical instrumentalism meets the conjunction
                  objection},
  author =	 {Hawthorne, James},
  journal =	 {Journal of Philosophical Logic},
  volume =	 25,
  number =	 4,
  pages =	 {363--397},
  year =	 1996
}

@incollection{vaninwagen2009,
  Author =	 {van Inwagen, Peter},
  Booktitle =	 {Metametaphysics},
  Editor =	 {David Chalmers and D Manley and R Wasserman},
  Pages =	 {472-506},
  Publisher =	 {Oxford University Press},
  Title =	 {Being, existence, and ontological commitment},
  Year =	 2009
}

@incollection{sider2009,
  Author =	 {Ted Sider},
  Booktitle =	 {Metametaphysics},
  Editor =	 {David Chalmers and D Manley and R Wasserman},
  Pages =	 {384-423},
  Publisher =	 {Oxford University Press},
  Title =	 {Ontological realism},
  Year =	 2009
}

@book{goldblatt1987,
  Author =	 {Robert Goldblatt},
  Publisher =	 {Springer},
  Title =	 {Orthogonality and spacetime geometry},
  Year =	 1987
}

@article{dewar2016a,
  title =	 {Sophistication about symmetries},
  author =	 {Dewar, Neil},
  journal =	 {The British Journal for the Philosophy of Science},
  year =	 2017
}

@article{malament1977,
  Author =	 {David B. Malament},
  Journal =	 {No{\^u}s},
  Pages =	 {293-300},
  Title =	 {Causal Theories of time and the conventionality of
                  simultaneity},
  Year =	 1977
}

@misc{hudetz-new,
  title={Definable categorical equivalence},
  author={Hudetz, Laurenz},
  year={2018},
  note={Forthcoming in {\it Philosophy of Science}}
}

@book{healey-gauge,
  title =	 {Gauging what's real: The conceptual foundations of
                  contemporary gauge theories},
  author =	 {Healey, Richard},
  year =	 2007,
  publisher =	 {Oxford University Press}
}


@article{dewar2015,
  Author =	 {Neil Dewar},
  Journal =	 {Studies in History and Philosophy of Modern Physics},
  Pages =	 {317-327},
  Title =	 {Symmetries and the philosophy of language},
  Volume =	 52,
  Year =	 2015
}

@article{dasgupta2015,
  Author =	 {Shamik Dasgupta},
  Journal =	 {Philosophy Compass},
  Number =	 9,
  Pages =	 {601-624},
  Title =	 {Substantivalism vs Relationalism About Space in
                  Classical Physics},
  Volume =	 10,
  Year =	 2015
}

@article{dewar2016,
  Author =	 {Neil Dewar},
  Journal =	 {Unpublished manuscript},
  Title =	 {What is it to interpret a theory?},
  Year =	 2016
}

@incollection{maudlin2013,
  Author =	 {Tim Maudlin},
  Booktitle =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {The Nature of the Quantum State},
  Year =	 2013
}

@article{myrvold2015,
  Author =	 {Wayne C Myrvold},
  Journal =	 {Synthese},
  Pages =	 {3247-3274},
  Title =	 {What is a wavefunction?},
  Volume =	 192,
  Year =	 2015
}

@incollection{north2013,
  Author =	 {Jill North},
  Booktitle =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {The Structure of a Quantum World},
  Year =	 2013
}

@incollection{ney2013b,
  Author =	 {Alyssa Ney},
  Booktitle =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {Ontological reduction and the wave function
                  ontology},
  Year =	 2013
}

@incollection{ney2013a,
  Author =	 {Alyssa Ney},
  Booktitle =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {Introduction},
  Year =	 2013
}

@article{ney2012,
  Author =	 {Alyssa Ney},
  Journal =	 {No{\^u}s},
  Pages =	 {525-560},
  Title =	 {The Status of our ordinary three dimensions in a
                  quantum universe},
  Volume =	 46,
  Year =	 2012
}

@article{loewer1996,
  Author =	 {Barry Loewer},
  Journal =	 {Philosophical Topics},
  Number =	 {101-127},
  Title =	 {Humean supervenience},
  Volume =	 24,
  Year =	 1996
}

@incollection{albert2013,
  Author =	 {David Z Albert},
  Booktitle =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {Wave function realism},
  Year =	 2013
}

@incollection{albert1996,
  Author =	 {David Z Albert},
  Booktitle =	 {Bohmian Mechanics and Quantum Mechanics: An
                  Appraisal},
  Editor =	 {J T Cushing and A Fine and S Goldstein},
  Publisher =	 {Dordrecht: Kluwer},
  Title =	 {Elementary quantum metaphysics},
  Year =	 1996
}

@article{bain2003,
  Author =	 {Jonathan Bain},
  Journal =	 {Philosophy of Science},
  Number =	 5,
  Pages =	 {1073-1085},
  Title =	 {Einstein algebras and the hole argument},
  Volume =	 70,
  Year =	 2003
}

@article{Rynasiewicz,
  Author =	 {Rynasiewicz, Robert},
  Journal =	 {Philosophy of Science},
  Number =	 4,
  Pages =	 {572--589},
  Title =	 {Rings, holes and substantivalism: On the program of
                  {L}eibniz algebras},
  Volume =	 59,
  Year =	 1992
}

@incollection{Earman1977,
  Address =	 {Dordrecht},
  Author =	 {Earman, John},
  Booktitle =	 {Historical and Philosophical Dimensions of Logic,
                  Methodology and Philosophy of Science},
  Editor =	 {R. E. Butts and J. Hintikka},
  Pages =	 {93--112},
  Publisher =	 {Reidel},
  Title =	 {Leibnizian Space-Times and {L}eibnizian Algebras},
  Year =	 1977
}

@article{Earman1978,
  Author =	 {Earman, John},
  Journal =	 {Studia Leibnitiana},
  Number =	 2,
  Pages =	 {212--230},
  Title =	 {Perceptions and Relations in the Monadology},
  Volume =	 9,
  Year =	 1977
}

@incollection{Earman1979,
  Address =	 {Minneapolis, MN},
  Author =	 {Earman, John},
  Booktitle =	 {Midwest Studies in Philosophy},
  Editor =	 {P. French and T. Uehling and H. Wettstein},
  Pages =	 {263--276},
  Publisher =	 {University of Minnesota Press},
  Title =	 {Was {L}eibniz a Relationist?},
  Volume =	 4,
  Year =	 1979
}

@article{Earman1986,
  Author =	 {Earman, John},
  Journal =	 {Pacific Philosophical Quarterly},
  Number =	 4,
  Pages =	 {225--244},
  Title =	 {Why Space Is Not a Substance (At Least Not To First
                  Degree)},
  Volume =	 67,
  Year =	 1986
}

@incollection{Earman1989a,
  Address =	 {Lanham, MD},
  Author =	 {Earman, John},
  Booktitle =	 {Leibnizian Inquiries. A Group of Essays},
  Editor =	 {Nicholas Rescher},
  Pages =	 {9--22},
  Publisher =	 {University Press of America},
  Title =	 {Leibniz and the Absolute vs. Relational Dispute},
  Year =	 1989
}

@incollection{french2013,
  title =	 {The structure of theories},
  author =	 {Steven French},
  pages =	 {301-312},
  booktitle =	 {The Routledge Companion to Philosophy of Science},
  publisher =	 {Routledge},
  editor =	 {Martin Curd and Stathis Psillos},
  year =	 2013
}

@article{belot-ab,
  title =	 {Understanding electromagnetism},
  author =	 {Belot, Gordon},
  journal =	 {The British Journal for the Philosophy of Science},
  volume =	 49,
  number =	 4,
  pages =	 {531--555},
  year =	 1998
}

@article{fine,
  title =	 {Neutral relations},
  author =	 {Fine, Kit},
  journal =	 {Philosophical Review},
  volume =	 109,
  number =	 1,
  pages =	 {1--33},
  year =	 2000
}

@article{williamson,
  title =	 {Converse relations},
  author =	 {Williamson, Timothy},
  journal =	 {The Philosophical Review},
  volume =	 94,
  number =	 2,
  pages =	 {249--262},
  year =	 1985
}



@PhdThesis{mmm,
  author =	 {Michaela McSweeney},
  title =	 {The metaphysical basis of logic},
  school =	 {Princeton University},
  year =	 2016
}

@article{dorr2004,
  title =	 {Non-symmetric relations},
  author =	 {Cian Dorr},
  journal =	 {Oxford Studies in Metaphysics},
  volume =	 1,
  year =	 2004,
  pages =	 {155–92}
}

@book{bas1989,
  title =	 {Laws and symmetry},
  author =	 {Bas van Fraassen},
  year =	 1989,
  publisher =	 {Oxford University Press}
}


@book{EarmanWEST,
  Author =	 {John Earman},
  Publisher =	 {The MIT Press},
  Title =	 {World enough and space-time},
  Year =	 1989
}

@book{ney2013,
  Editor =	 {Alyssa Ney and David Z Albert},
  Publisher =	 {Oxford University Press},
  Title =	 {The Wave Function: Essays on the Metaphysics of
                  Quantum Mechanics},
  Year =	 2013
}

@book{vonneumann1932,
  Author =	 {John von Neumann},
  Publisher =	 {Princeton University Press},
  Title =	 {Mathematical Foundations of Quantum Mechanics},
  Year =	 1932
}

@incollection{heisenberg1926,
  Author =	 {Werner Heisenberg},
  Booktitle =	 {{W}olfgang {P}auli: {W}issentschaftlicher
                  {B}riefwechsel mit {B}ohr, {E}instein, {H}eisenberg
                  u.a.},
  Editor =	 {A. Hermann, K. von Meyenn and V.F. Weiskopf},
  Pages =	 {328-329},
  Publisher =	 {Springer},
  Title =	 {Letter of 8 {J}une 1926},
  Volume =	 {1 (1919-1929)},
  Year =	 1979
}

@article{schrodinger1926,
  Author =	 {Erwin Schr\"odinger},
  Journal =	 {Annalen der Physik},
  Pages =	 {734-756},
  Title =	 {On the relation between the quantum mechanics of
                  {H}eisenberg, {B}orn, and {J}ordan, and that of
                  {S}chr\"odinger},
  Volume =	 79,
  Year =	 1926
}

@article{visser2015,
	Author = {Albert Visser},
	Journal = {Logic Group preprint series},
	Title = {On {Q}},
	Volume = {330},
	Year = {2015}}

@book{weyl1952,
	Author = {Hermann Weyl},
	Publisher = {Princeton University Press},
	Title = {Symmetry},
	Year = {1952}}

@article{casado2008,
  Author =	 {Casado, Carlos Miguel Madrid},
  Journal =	 {Latin-American Journal of Physics Education},
  Number =	 2,
  Pages =	 9,
  Publisher =	 {Instituto Polit{\'e}cnico Nacional},
  Title =	 {A brief history of the mathematical equivalence
                  between the two quantum mechanics},
  Volume =	 2,
  Year =	 2008
}

@article{bas1976,
  title =	 {To save the phenomena},
  author =	 {Bas van Fraassen},
  journal =	 {The Journal of Philosophy},
  volume =	 73,
  number =	 18,
  pages =	 {623--632},
  year =	 1976
}

@article{teh2016,
  Author =	 {Nicholas Teh and Dimitris Tsementzis},
  Journal =	 {Studies in History and Philosophy of Modern Physics},
  Title =	 {Theoretical equivalence in classical mechanics and
                  its relationship to duality},
  volume =	 59,
  pages =	 {44-54},
  year =	 2017
}

@article{vanfraassen2014,
  Author =	 {van Fraassen, Bas},
  Journal =	 {Philosophy of Science},
  Number =	 2,
  Pages =	 {276--283},
  Title =	 {One or two gentle remarks about {H}ans {H}alvorson's
                  critique of the semantic view},
  Volume =	 81,
  Year =	 2014
}

@article{schmidt1951,
  Author =	 {Schmidt, Arnold},
  Journal =	 {Mathematische Annalen},
  Number =	 1,
  Pages =	 {187--200},
  Publisher =	 {Springer},
  Title =	 {Die {Z}ul{\"a}ssigkeit der {B}ehandlung mehrsortiger
                  {T}heorien mittels der {\"u}blichen einsortigen
                  {P}r{\"a}dikatenlogik},
  Volume =	 123,
  Year =	 1951
}

@article{turner2010,
  Author =	 {Turner, Jason},
  Journal =	 {The Journal of Philosophy},
  Number =	 1,
  Pages =	 {5--34},
  Title =	 {Ontological pluralism},
  Volume =	 107,
  Year =	 2010
}

@article{sklar1982,
  Author =	 {Sklar, Lawrence},
  Journal =	 {Philosophical Topics},
  Pages =	 {89--110},
  Title =	 {Saving the noumena},
  Year =	 1982
}

@article{rosenstock,
  Author =	 {Rosenstock, Sarita and Barrett, Thomas William and
                  Weatherall, James Owen},
  Journal =	 {Studies in History and Philosophy of Modern Physics},
  Pages =	 {309--316},
  Publisher =	 {Elsevier},
  Title =	 {On {E}instein algebras and relativistic spacetimes},
  Volume =	 52,
  Year =	 2015
}

@article{quine1975,
  Author =	 {Quine, Willard Van},
  Date-Added =	 {2016-01-26 16:48:48 +0000},
  Date-Modified ={2016-01-26 16:49:47 +0000},
  Journal =	 {Erkenntnis},
  Number =	 3,
  Pages =	 {313--328},
  Publisher =	 {Springer},
  Title =	 {On empirically equivalent systems of the world},
  Volume =	 9,
  Year =	 1975
}

@article{hartmann,
  title =	 {Who's afraid of {N}agelian reduction?},
  author =	 {Dizadji-Bahmani, Foad and Frigg, Roman and Hartmann,
                  Stephan},
  journal =	 {Erkenntnis},
  volume =	 73,
  number =	 3,
  pages =	 {393--412},
  year =	 2010
}

@incollection{quine1969,
  Author =	 {Quine, Willard Van},
  Booktitle =	 {Ontological relativity and other essays},
  Pages =	 {91--113},
  Publisher =	 {Columbia University Press New York},
  Title =	 {Existence and quantification},
  Year =	 1969
}

@article{quine1956,
  Author =	 {Quine, Willard Van},
  Journal =	 {The Journal of Symbolic Logic},
  Number =	 03,
  Pages =	 {267--279},
  Publisher =	 {Cambridge Univ Press},
  Title =	 {Unification of universes in set theory},
  Volume =	 21,
  Year =	 1956
}

@article{dick,
  title =	 {What can {B}as believe? {M}usgrave and van
                  {F}raassen on observability},
  author =	 {Dicken, Paul and Lipton, Peter},
  journal =	 {Analysis},
  volume =	 66,
  number =	 291,
  pages =	 {226--233},
  year =	 2006
}

@incollection{musgrave,
  title =	 {Realism versus constructive empiricism},
  author =	 {Musgrave, Alan},
  editor =	 {Paul Churchland and Clifford Hooker},
  booktitle =	 {Images of science},
  pages =	 {197--221},
  year =	 1985,
  publisher =	 {University of Chicago Press}
}

@article{quine1951a,
  Author =	 {Quine, Willard Van},
  Journal =	 {Philosophical Studies},
  Number =	 5,
  Pages =	 {65--72},
  Publisher =	 {Springer},
  Title =	 {On {C}arnap's views on ontology},
  Volume =	 2,
  Year =	 1951
}

@article{quine1938,
  Author =	 {Quine, Willard Van},
  Journal =	 {The Journal of Symbolic Logic},
  Number =	 04,
  Pages =	 {125--139},
  Publisher =	 {Cambridge Univ Press},
  Title =	 {On the theory of types},
  Volume =	 3,
  Year =	 1938
}

@article{quine1937,
  Author =	 {Quine, Willard Van},
  Journal =	 {American mathematical monthly},
  Pages =	 {70--80},
  Publisher =	 {JSTOR},
  Title =	 {New foundations for mathematical logic},
  Year =	 1937
}

@article{pinter1978,
  Author =	 {Pinter, Charles C},
  Journal =	 {Mathematical Logic Quarterly},
  Number =	 {31-36},
  Pages =	 {481--488},
  Publisher =	 {Wiley Online Library},
  Title =	 {Properties preserved under definitional equivalence
                  and interpretations},
  Volume =	 24,
  Year =	 1978
}

@article{pelletier2003,
  Author =	 {Pelletier, Francis Jeffry and Urquhart, Alasdair},
  Journal =	 {Journal of Philosophical Logic},
  Number =	 3,
  Pages =	 {259--285},
  Publisher =	 {Springer},
  Title =	 {Synonymous logics},
  Volume =	 32,
  Year =	 2003
}

@article{north2009,
  Author =	 {North, Jill},
  Journal =	 {The Journal of Philosophy},
  Pages =	 {57--88},
  Title =	 {The `structure' of physics: {A} case study},
  Volume =	 106,
  Year =	 2009
}

@article{mere1992,
  Author =	 {Mere, Mar{\'\i}a Claudia and Veloso, PA},
  Journal =	 {Monografias em Ci{\^e}ncias da Computa{\c{c}}ao, DI,
                  PUC-Rio},
  Pages =	 92,
  Title =	 {On extensions by sorts},
  Volume =	 38,
  Year =	 1992
}

@article{knox2013,
  Author =	 {Knox, Eleanor},
  Journal =	 {The British Journal for the Philosophy of Science},
  Number =	 4,
  Pages =	 {863-880},
  Title =	 {Newtonian spacetime structure in light of the
                  equivalence principle},
  Volume =	 65,
  Year =	 2014
}

@article{knox2011,
  Author =	 {Knox, Eleanor},
  Journal =	 {Studies in History and Philosophy of Science Part B:
                  Studies in History and Philosophy of Modern Physics},
  Number =	 4,
  Pages =	 {264--275},
  Publisher =	 {Elsevier},
  Title =	 {Newton-{C}artan theory and teleparallel gravity:
                  {T}he force of a formulation},
  Volume =	 42,
  Year =	 2011
}

@article{kanger1968,
  Author =	 {Kanger, Stig},
  Journal =	 {Theoria},
  Number =	 1,
  Pages =	 {1--6},
  Publisher =	 {Wiley Online Library},
  Title =	 {Equivalent theories},
  Volume =	 34,
  Year =	 1968
}

@book{becker,
  title =	 {The Themes of {Q}uine's Philosophy: Meaning,
                  Reference, and Knowledge},
  author =	 {Becker, E.},
  year =	 2012,
  publisher =	 {Cambridge University Press}
}

@book{awodey2004,
  title =	 {Carnap brought home: The view from {J}ena},
  author =	 {Awodey, Steve and Klein, Carsten},
  year =	 2004,
  publisher =	 {Open Court Publishing}
}

@incollection{hintikka,
  title =	 {Quine as a member of the tradition of the
                  universality of language},
  booktitle =	 {Lingua universalis vs. calculus ratiocinator},
  author =	 {Jaakko Hintikka},
  publisher =	 {Springer},
  year =	 1997,
  pages =	 214
}



@article{halvorson2013,
  Author =	 {Halvorson, Hans},
  Journal =	 {Philosophy of Science},
  Number =	 3,
  Pages =	 {475--478},
  Title =	 {The semantic view, if plausible, is syntactic},
  Volume =	 80,
  Year =	 2013
}

@article{glymour2013,
  Author =	 {Glymour, Clark},
  Journal =	 {Philosophy of Science},
  Number =	 2,
  Pages =	 {286--297},
  Title =	 {Theoretical equivalence and the semantic view of
                  theories},
  Volume =	 80,
  Year =	 2013
}

@article{glymour1977,
  Author =	 {Glymour, Clark},
  Journal =	 {No{\^u}s},
  Pages =	 {227--251},
  Title =	 {The epistemology of geometry},
  Volume =	 11,
  Year =	 1977
}

@misc{rood,
  author =	 {Jan Rooduijn},
  title =	 {Translating theories},
  note =	 {Bachelors Thesis, {U}niversiteit {U}trecht},
  year =	 2015
}

@book{chalmers,
  title =	 {Metametaphysics: new essays on the foundations of
                  ontology},
  author =	 {Chalmers, David and Manley, David and Wasserman,
                  Ryan},
  year =	 2009,
  publisher =	 {Oxford University Press}
}

@book{hirschbog,
  title =	 {Quantifier variance and realism: Essays in
                  metaontology},
  author =	 {Hirsch, Eli},
  year =	 2011,
  publisher =	 {Oxford University Press}
}

@article{strange,
  Author =	 {Friedman, Harvey M and Visser, Albert},
  Journal =	 {Logic Group Preprint Series},
  Pages =	 {1--19},
  Publisher =	 {Department of Philosophy of Utrecht University},
  Title =	 {When Bi-Interpretability Implies Synonymy},
  Volume =	 320,
  Year =	 2014
}

@article{curiel2014,
  Author =	 {Curiel, Erik},
  Journal =	 {The British Journal for the Philosophy of Science},
  Number =	 2,
  Pages =	 {269--321},
  Title =	 {Classical mechanics is {L}agrangian; it is not
                  {H}amiltonian},
  Volume =	 65,
  Year =	 2014
}

@article{coffey2014,
  Author =	 {Coffey, Kevin},
  Journal =	 {The British Journal for the Philosophy of Science},
  Number =	 4,
  Pages =	 {821--844},
  Title =	 {Theoretical Equivalence as Interpretative
                  Equivalence},
  Volume =	 65,
  Year =	 2014
}

@book{burgess2005,
  Author =	 {Burgess, John P},
  Publisher =	 {Princeton University Press},
  Title =	 {Fixing {F}rege},
  Year =	 2005
}

@article{barrett2015a,
  title =	 {Morita equivalence},
  author =	 {Barrett, Thomas William and Halvorson, Hans},
  journal =	 {The Review of Symbolic Logic},
  volume =	 9,
  number =	 3,
  pages =	 {556--582},
  year =	 2016
}

@misc{barrett-hamiltonian,
  author =	 {Barrett, Thomas William},
  title =	 {Equivalent and inequivalent formulations of
                  classical mechanics},
  year =	 2018,
  note =	 {Forthcoming in {\it British Journal for the Philosophy of Science}}
}

@article{fewster,
  title =	 {Locally covariant quantum field theory and the
                  problem of formulating the same physics in all
                  spacetimes},
  author =	 {Fewster, Christopher J},
  journal =	 {Phil. Trans. R. Soc. A},
  volume =	 373,
  number =	 2047,
  pages =	 20140238,
  year =	 2015,
  publisher =	 {The Royal Society}
}



@article{barrett2014,
  Author =	 {Barrett, Thomas William},
  Journal =	 {The British Journal for the Philosophy of Science},
  Number =	 4,
  Pages =	 {801-828},
  Title =	 {On the structure of classical mechanics},
  Volume =	 66,
  Year =	 2015
}

@article{andreka2005,
  Author =	 {Andr{\'e}ka, Hajnal and Madar{\'a}sz, Judit X and
                  N{\'e}meti, Istv{\'a}n},
  Journal =	 {Mathematical Logic Quarterly},
  Number =	 6,
  Pages =	 {591--597},
  Publisher =	 {Wiley Online Library},
  Title =	 {Mutual definability does not imply definitional
                  equivalence, a simple example},
  Volume =	 51,
  Year =	 2005
}

@article{barrett2016a,
  title =	 {From geometry to conceptual relativity},
  author =	 {Barrett, Thomas William and Halvorson, Hans},
  journal =	 {Erkenntnis},
  volume =	 82,
  number =	 5,
  pages =	 {1043--1063},
  year =	 2017
}

@book{manzano1996,
  Author =	 {Mar\'ia Manzano},
  Publisher =	 {Cambridge University Press},
  Title =	 {Extensions of First Order Logic},
  Year =	 1996
}

@article{bueno,
  title =	 {A defense of second-order logic},
  author =	 {Bueno, Ot{\'a}vio},
  journal =	 {Axiomathes},
  volume =	 20,
  number =	 {2-3},
  pages =	 {365--383},
  year =	 2010
}

@book{shapiro,
  title =	 {Foundations without foundationalism: A case for
                  second-order logic},
  author =	 {Shapiro, Stewart},
  year =	 1991,
  publisher =	 {Clarendon Press}
}

@book{cohnitz2014,
	Author = {Daniel Cohnitz and Marcus Rossberg},
	Publisher = {Routledge},
	Title = {Nelson Goodman},
	Year = {2014}}

@book{quine1976,
  title =	 {The ways of paradox, and other essays},
  author =	 {Quine, Willard V},
  year =	 1976,
  publisher =	 {Harvard University Press}
}

@book{goodman1978,
	Author = {Nelson Goodman},
	Publisher = {Hackett},
	Title = {Ways of Worldmaking},
	Year = {1978}}

@article{goodman1975,
  Author =	 {Nelson Goodman},
  Journal =	 {Erkenntnis},
  Number =	 1,
  Pages =	 {57--73},
  Title =	 {Words, Works, Worlds},
  Volume =	 9,
  Year =	 1975
}

@article{putnam2001,
  Author =	 {Hilary Putnam},
  Journal =	 {Revue internationale de philosophie},
  Number =	 218,
  Title =	 {Reply to {J}ennifer {C}ase},
  Volume =	 4,
  Year =	 2001
}

@book{veblen1918,
  Author =	 {Oswal Veblen and John Wesley Young},
  Publisher =	 {Ginn and Company},
  Title =	 {Projective Geometry},
  volume =	 2,
  Year =	 1918
}

@book{barnes1975,
  Author =	 {Donald W Barnes and John M Mack},
  Publisher =	 {Springer-Verlag},
  Title =	 {An algebraic introduction to mathematical logic},
  Year =	 1975
}

@incollection{russell-le,
  author =	 {Bertrand Russell},
  title =	 {Logic as the essence of philosophy},
  booktitle =	 {Our knowledge of the external world},
  pages =	 {26--48},
  publisher =	 {Routledge},
  year =	 1914
}

@book{button-walsh,
  author =	 {Tim Button and Sean Walsh},
  title =	 {Philosophy and model theory},
  publisher =	 {Oxford University Press},
  year =	 2018
}

@inproceedings{putnam1977,
  title =	 {Realism and reason},
  author =	 {Putnam, Hilary},
  booktitle =	 {Proceedings and Addresses of the American
                  Philosophical Association},
  volume =	 50,
  pages =	 {483--498},
  year =	 1977
}


@book{wright1997,
  Author =	 {John Wright},
  Publisher =	 {Springer},
  Title =	 {Realism and Explanatory Priority},
  Year =	 1997
}

@book{putnam1992,
  Author =	 {Hilary Putnam},
  Publisher =	 {Harvard University Press},
  Title =	 {Renewing Philosophy},
  Year =	 1992
}

@unpublished{Rosenstock+Weatherall2,
  Author =	 {Sarita Rosenstock},
  Note =	 {Unpublished manuscript},
  Title =	 {On Holonomy and Fiber Bundle Interpretations of
                  {Y}ang-{M}ills Theory},
  Year =	 2015
}

@unpublished{Rosenstock+Weatherall1,
	Author = {Sarita Rosenstock and James Owen Weatherall},
	Note = {arXiv:1504.02401 [math-ph]},
	Title = {A Categorical Equivalence between Generalized Holonomy Maps on a Connected Manifold and Principal Connections on Bundles over that Manifold},
	Year = {2015}}

@article{szczerba1986,
	Author = {Les\law Szczerba},
	Journal = {The Journal of Symbolic Logic},
	Number = {4},
	Title = {Tarski and Geometry},
	Volume = {51},
	Year = {1986}}

@incollection{andreka2014,
  Author =	 {Hajnal Andr\'eka and Istv\'an N\'emeti},
  Booktitle =	 {Johan van Benthem on logic and information dynamics},
  Publisher =	 {Springer},
  Title =	 {Comparing theories: the dynamics of changing
                  vocabulary. {A} case-study in relativity theory.},
  Year =	 2014
}

@article{szczerba1979,
  title =	 {Metamathematical discussion of some affine
                  geometries},
  author =	 {Szczerba, Les{\l}aw and Tarski, Alfred},
  journal =	 {Fundamenta Mathematicae},
  volume =	 104,
  number =	 3,
  pages =	 {155--192},
  year =	 1979
}

@incollection{royden1959,
  Author =	 {Halsey Lawrence Royden},
  Booktitle =	 {The Axiomatic Method With Special Reference to
                  Geometry and Physics},
  editor =	 {Leon Henkin and Patrick Suppes and Alfred Tarski},
  Publisher =	 {North-Holland},
  pages =	 {86--96},
  Title =	 {Remarks on primitive notions for elementary
                  {E}uclidean and non-{E}uclidean plane geometry},
  Year =	 1959
}

@incollection{robinson1959,
  Author =	 {Raphael Robinson},
  Booktitle =	 {The axiomatic method with special reference to
                  geometry and physics},
  editor =	 {Leon Henkin and Patrick Suppes and Alfred Tarski},
  Publisher =	 {North-Holland},
  Title =	 {Binary relations as primitive notions in elementary
                  geometry},
  pages =	 {68-85},
  Year =	 1959
}

@article{tarski1956,
  Author =	 {Alfred Tarski},
  Journal =	 {Indagationes mathematicae},
  Title =	 {A general theorem concerning primitive notions of
                  {E}uclidean geometry},
  Volume =	 18,
  pages =	 {468-474},
  Year =	 1956
}

@article{scott1956,
  Author =	 {Dana Scott},
  Journal =	 {Indagationes mathematicae},
  Title =	 {A symmetric primitive notion for {E}uclidean
                  geometry},
  pages =	 {457-461},
  Volume =	 18,
  Year =	 1956
}

@article{beth1956,
  Author =	 {Evert Beth and Alfred Tarski},
  Journal =	 {Indagationes mathematicae},
  Title =	 {Equilaterality as the only primitive notion of
                  {E}uclidean geometry},
  Volume =	 18,
  pages =	 {462--467},
  Year =	 1956
}

@article{tarski1929,
  title =	 {Les fondements de la g{\'e}om{\'e}trie des corps},
  author =	 {Tarski, Alfred},
  journal =	 {Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu
                  Matematycznego},
  pages =	 {29--33},
  year =	 1929
}

@article{warren2014,
  title =	 {Quantifier variance and the collapse argument},
  author =	 {Warren, Jared},
  journal =	 {The Philosophical Quarterly},
  volume =	 65,
  number =	 259,
  pages =	 {241--253},
  year =	 2014
}

@article{coxeter1955,
  Author =	 {Harold Scott MacDonald Coxeter},
  Journal =	 {Scripta Mathematica},
  Title =	 {The Affine Plane},
  Volume =	 21,
  Year =	 1955
}

@book{rasiowa-book,
  title =	 {The mathematics of metamathematics},
  author =	 {Rasiowa, Helena and Sikorski, Roman},
  year =	 1963,
  publisher =	 {Pa{\'n}stwow Wydaawnictwo Naukowe}
}
}

@article{malamentgst,
  Author =	 {David B. Malament},
  Journal =	 {Unpublished lecture notes},
  Title =	 {Geometry and Spacetime},
  Year =	 2009
}

@article{barrett2015b,
  title =	 {Quine's conjecture on many-sorted logic},
  author =	 {Barrett, Thomas William and Halvorson, Hans},
  journal =	 {Synthese},
  volume =	 194,
  number =	 9,
  pages =	 {3563--3582},
  year =	 2017
}

@incollection{halvorson-ox,
  title =	 {Scientific theories},
  author =	 {Hans Halvorson},
  publisher =	 {Oxford University Press},
  editor =	 {Paul Humphreys},
  booktitle =	 {The {O}xford Handbook of the Philosophy of Science},
  year =	 2016
}

@incollection{love-reduction,
  title =	 {Reduction},
  author =	 {Love, Alan C and H{\"u}ttemann, Andreas},
  booktitle =	 {The Oxford Handbook of Philosophy of Science},
  editor =	 {Paul Humphreys},
  year =	 2016,
  publisher =	 {Oxford University Press}
}

@article{bickle-sep,
  title =	 {Multiple realizability},
  author =	 {John Bickle},
  journal =	 {Stanford Encyclopedia of Philosophy},
  year =	 2013,
  note =
                  {https://plato.stanford.edu/entries/multiple-realizability/}
}


@book{carnap-schilpp,
  title =	 {The Philosophy of Rudolf Carnap},
  author =	 {Carnap, Rudolf and Schilpp, Paul Arthur},
  year =	 1963,
  publisher =	 {Cambridge University Press}
}

@book{hylton,
  author =	 {Peter Hylton},
  title =	 {Quine},
  publisher =	 {Routledge},
  year =	 2007
}

@incollection{russ,
  title =	 {On the scientific method in philosophy},
  booktitle =	 {Mysticism and logic},
  author =	 {Bertrand Russell},
  year =	 1914,
  pages =	 {75--96},
  publisher =	 {Dover}
}



@incollection{hans-dimitris,
  title =	 {Categories of scientific theories},
  author =	 {Halvorson, Hans and Tsementzis, Dimitris},
  booktitle =	 {Categories for the Working Philosopher},
  editor =	 {Elaine Landry},
  publisher =	 {Oxford University Press},
  year =	 2018
}

@book{quine1963,
  Author =	 {Quine, Willard Van},
  Publisher =	 {Harvard University Press},
  Title =	 {Set Theory and Its Logic},
  Year =	 1963
}

@book{quinecarnap1990,
  Author =	 {Willard Van Quine and Rudolf Carnap},
  Publisher =	 {Berkeley, CA: University of California Press},
  Title =	 {Dear {C}arnap, Dear {V}an: The {Q}uine-{C}arnap
                  Correspondence and Related Work},
  Year =	 1990
}

@incollection{weatherall2015,
  Author =	 {James Owen Weatherall},
  Booktitle =	 {Categories for the Working Philosopher},
  Editor =	 {Elaine Landry},
  Publisher =	 {Oxford University Press},
  Title =	 {Categories and the foundations of classical field
                  theories},
  Year =	 2018
}

@book{wald1984,
  Author =	 {Robert M. Wald},
  Publisher =	 {Chicago},
  Title =	 {General Relativity},
  Year =	 1984
}

@book{stance,
  title =	 {The empirical stance},
  author =	 {Bas van Fraassen},
  year =	 2002,
  publisher =	 {Yale University Press}
}

@article{turners,
  title =	 {Ontological pluralism},
  author =	 {Turner, Jason},
  journal =	 {The Journal of Philosophy},
  volume =	 107,
  number =	 1,
  pages =	 {5--34},
  year =	 2010
}

@book{makkai-duality,
  Author =	 {Michael Makkai},
  Publisher =	 {American Mathematical Society},
  Title =	 {Duality and definability in first order logic},
  Year =	 1991
}

@article{awodeyforssell,
  title =	 {First-order logical duality},
  author =	 {Awodey, Steve and Forssell, Henrik},
  journal =	 {Annals of Pure and Applied Logic},
  volume =	 164,
  number =	 3,
  pages =	 {319--348},
  year =	 2013
}

@misc{evan,
  title =	 {On the equivalence of logical theories},
  author =	 {Evan Washington},
  note =	 {Bachelors Thesis, Princeton University},
  year =	 2018
}

@PhdThesis{forssell-thesis,
  author =	 {Henrik Forssell},
  title =	 {First-order logical duality},
  school =	 {Carnegie Mellon University},
  year =	 2008
}

@book{johnstone,
  Author =	 {Peter T. Johnstone},
  Publisher =	 {Oxford University Press},
  Title =	 {Sketches of an Elephant: A Topos Theory Compendium},
  Year =	 2003
}

@article{adamek,
  title={Morita equivalence of many-sorted algebraic theories},
  author={Ad{\'a}mek, Ji{\v{r}}{\'\i} and Sobral, Manuela and Sousa, Lurdes},
  journal={Journal of Algebra},
  volume={297},
  number={2},
  pages={361--371},
  year={2006}
}

@article{dukarm,
  title =	 {Morita equivalence of algebraic theories},
  author =	 {J. J. Dukarm},
  journal =	 {Colloquium Mathematicae},
  volume =	 55,
  number =	 1,
  pages =	 {11--17},
  year =	 1988
}

@unpublished{maclanenotes,
	Author = {Saunders {Mac Lane}},
	Note = {Unpublished lecture notes},
	Title = {Geometrical Mechanics},
	Year = {1968}}

@article{weatherallgauge,
  title =	 {Understanding gauge},
  author =	 {Weatherall, James Owen},
  journal =	 {Philosophy of Science},
  volume =	 83,
  number =	 5,
  pages =	 {1039--1049},
  year =	 2016
}

@book{kuratowski1966,
  Author =	 {Kazimierz Kuratowski},
  Publisher =	 {Academic Press},
  Title =	 {Topology},
  Year =	 1966
}

@article{hoehnke1966,
  title =	 {Zur Strukturgleichheit axiomatischer Klassen},
  author =	 {Hoehnke, Hans-J{\"u}rgen},
  journal =	 {Mathematical Logic Quarterly},
  volume =	 12,
  number =	 1,
  pages =	 {69--83},
  year =	 1966
}

@article{maclane1948,
  title =	 {Groups, categories and duality},
  author =	 {Mac Lane, Saunders},
  journal =	 {Proceedings of the National Academy of Sciences},
  volume =	 34,
  number =	 6,
  pages =	 {263--267},
  year =	 1948
}

@book{schwabhauser1983,
  Author =	 {Wolfram Schwabh\"auser and Wanda Szmielew and Alfred
                  Tarski},
  Publisher =	 {Springer},
  Title =	 {Metamathematische Methoden in der Geometrie},
  Year =	 1983
}

@article{schwabhauser1975,
  title =	 {Relations on lines as primitive notions for
                  {E}uclidean geometry},
  author =	 {Schwabh{\"a}user, W and Szczerba, L},
  journal =	 {Fundamenta Mathematicae},
  volume =	 82,
  number =	 4,
  pages =	 {347--355},
  year =	 1975
}

@book{hilbert1930,
  Author =	 {David Hilbert},
  Publisher =	 {Teubner},
  Title =	 {Grundlagen der {G}eometrie},
  Year =	 1930
}

@incollection{tarski1959,
  Author =	 {Alfred Tarski},
  editor =	 {Leon Henkin and Patrick Suppes and Alfred Tarski},
  Booktitle =	 {The Axiomatic Method With Special Reference to
                  Geometry and Physics},
  Publisher =	 {North-Holland},
  Title =	 {What is Elementary Geometry?},
  pages =	 {16--29},
  Year =	 1959
}

@article{eilenbergmaclane1942,
  title =	 {Group extensions and homology},
  author =	 {Eilenberg, Samuel and Mac Lane, Saunders},
  journal =	 {Annals of Mathematics},
  volume =	 43,
  number =	 4,
  pages =	 {757--831},
  year =	 1942
}

@book{shoenfield1967,
  Author =	 {Joseph Shoenfield},
  Publisher =	 {Addison-Wesley},
  Title =	 {Mathematical Logic},
  Year =	 1967
}

@phdthesis{montague1957,
  Author =	 {Richard Montague},
  School =	 {University of California, Berkeley},
  Title =	 {Contributions to the Axiomatic Foundations of Set
                  Theory},
  Year =	 1957
}

@article{artigue1978,
  Author =	 {M Artigue and E Isambert and M Perrin and A Zalc},
  Journal =	 {Fundamenta Mathematicae},
  Title =	 {Some remarks on bicommutability},
  Year =	 1978
}

@book{nestruev2002,
  Author =	 {Jet Nestruev},
  Publisher =	 {Springer},
  Title =	 {Smooth manifolds and observables},
  Year =	 2002
}

@book{borceux,
  Author =	 {Francis Borceux},
  Publisher =	 {Cambridge University Press},
  Title =	 {Handbook of Categorical Algebra},
  Year =	 1994
}

@book{quine1960,
  Author =	 {Willard Van Quine},
  Publisher =	 {MIT},
  Title =	 {Word and Object},
  Year =	 1960
}

@article{andreka2008,
  Author =	 {Hajnal Andr\'eka and Judit Madara\'sz and Istv\'an
                  N\'emeti},
  Journal =	 {Mathematical Institute of the Hungarian Academy of
                  Sciences, Budapest},
  Title =	 {Defining New Universes in Many-sorted Logic},
  Volume =	 93,
  Year =	 2008
}

@article{gajda1987,
  title =	 {A note on syntactical and semantical functions},
  author =	 {Gajda, Adam and Krynicki, Micha{\l} and Szczerba,
                  Les{\l}aw},
  journal =	 {Studia Logica},
  volume =	 46,
  number =	 2,
  pages =	 {177--185},
  year =	 1987
}

@incollection{debouvere1965,
  Author =	 {K. L. de Bouv\'ere},
  Booktitle =	 {Symposium on the Theory of Models},
  Pages =	 {402-406},
  Publisher =	 {North-Holland Publishing Company},
  Title =	 {Synonymous Theories},
  Year =	 1965
}


@article{ahlbrandt,
  title =	 {Quasi finitely axiomatizable totally categorical
                  theories},
  author =	 {Ahlbrandt, Gisela and Ziegler, Martin},
  journal =	 {Annals of Pure and Applied Logic},
  volume =	 30,
  number =	 1,
  pages =	 {63--82},
  year =	 1986
}


@book{hodges2008,
	Author = {Wilfrid Hodges},
	Publisher = {Cambridge University Press},
	Title = {Model Theory},
	Year = {2008}}

@book{abrahammarsden,
	Author = {Ralph Abraham and Jerrold E Marsden},
	Date-Added = {2014-05-16 12:00:43 +0000},
	Date-Modified = {2014-05-16 12:01:52 +0000},
	Publisher = {Addison-Wesley},
	Title = {Foundations of Mechanics},
	Year = {1978}}

@article{eilenbergmaclane1945,
  title =	 {General theory of natural equivalences},
  author =	 {Eilenberg, Samuel and Mac Lane, Saunders},
  journal =	 {Transactions of the American Mathematical Society},
  volume =	 58,
  pages =	 {231--294},
  year =	 1945
}

@book{awodey-book,
	Author = {Steve Awodey},
	Publisher = {Oxford University Press},
	Title = {Category Theory},
	Year = {2010}}

@misc{vanoosten,
  author =	 {Jaap van Oosten},
  title =	 {Basic Category Theory},
  note =
                  {\url{http://www.staff.science.uu.nl/~ooste110/syllabi/catsmoeder.pdf}},
  year =	 2002
}

@book{freyd1964,
	Author = {Peter Freyd},
	Publisher = {Harper and Row},
	Title = {Abelian categories},
	Year = {1964}}

@book{cwm,
	Author = {Saunders {Mac Lane}},
	Publisher = {Springer},
	Title = {Categories for the working mathematician},
	Year = {1971}}

@article{geroch1972,
	Author = {Robert Geroch},
	Journal = {Comm. Math. Phys.},
	Title = {Einstein algebras},
	Year = {1972}}

@book{boyer2004,
	Author = {Carl B. Boyer},
	Publisher = {Dover},
	Title = {History of Analytic Geometry},
	Year = {2004}}

@incollection{bradingcastellani2007,
	Author = {Katherine Brading and Elena Castellani},
	Booktitle = {Handbook of the Philosophy of Science, Philosophy of Physics, Part B},
	Editor = {Jeremy Butterfield and John Earman},
	Title = {Symmetries and Invariances in Classical Physics},
	Year = {2007}}

@book{wigner1967,
	Author = {Eugene Wigner},
	Publisher = {Indiana University Press},
	Title = {Symmetries and reflections},
	Year = {1967}}

@book{glymour1980,
	Author = {Clark Glymour},
	Publisher = {Princeton University Press},
	Title = {Theory and Evidence},
	Year = {1980}}

@article{halvorson2013a,
	Author = {Hans Halvorson},
	Journal = {Manuscript},
	Title = {Beth's theorem},
	Year = {2013}}

@article{healey2009,
	Author = {Richard Healey},
	Journal = {The British Journal for the Philosophy of Science},
	Title = {Perfect symmetries},
	Year = {2009}}

@article{roberts2008,
	Author = {John T Roberts},
	Journal = {The British Journal for the Philosophy of Science},
	Title = {A puzzle about laws, symmetries and measurability},
	Year = {2008}}

@book{vanfraassen1980,
	Author = {Bas van Fraassen},
	Publisher = {Oxford},
	Title = {The Scientific Image},
	Year = {1980}}

@incollection{belot2013,
	Author = {Gordon Belot},
	Booktitle = {The Oxford Handbook of Philosophy of Physics},
	Date-Added = {2014-03-04 17:50:54 +0000},
	Date-Modified = {2014-03-04 17:51:35 +0000},
	Publisher = {Oxford},
	Title = {Symmetry and equivalence},
	Year = {2013}}

@article{hempel1950,
	Author = {Carl Hempel},
	Title = {Problems and Changes in the Empiricist Criterion of Meaning},
	Year = {1950}}

@article{quine1951,
  Author =	 {Willard Van Quine},
  Title =	 {Two Dogmas of Empiricism},
  journal =	 {The Philosophical Review},
  volume =	 60,
  pages =	 {20--43},
  Year =	 1951
}

@incollection{maxwell1962,
  author =	 {Grover Maxwell},
  title =	 {The ontological status of theoretical entities},
  booktitle =	 {Scientific explanation, space, and time},
  editor =	 {Herbert Feigl and Grover Maxwell},
  year =	 1962,
  pages =	 {3-27},
  publisher =	 {University of Minnesota Press}
}

@incollection{quine1936,
	Author = {Willard Van Orman Quine},
	Booktitle = {Philosophy of Mathematics: Selected Readings},
	Editor = {Paul Benacerraf and Hilary Putnam},
	Publisher = {Cambridge},
	Title = {Truth by convention},
	Year = {1936}}

@book{burgess2013,
	Author = {John Burgess},
	Publisher = {Polity},
	Title = {Kripke},
	Year = {2013}}

@incollection{carnap1950,
	Author = {Rudolf Carnap},
	Booktitle = {Philosophy of Mathematics: Selected Readings},
	Editor = {Paul Benacerraf and Hilary Putnam},
	Publisher = {Cambridge},
	Title = {Empiricism, semantics, and ontology},
	Year = {1950}}

@article{russell1905,
	Author = {Bertrand Russell},
	Journal = {Mind},
	Title = {On Denoting},
	Year = {1905}}

@article{frege1892,
  Author =	 {Gottlob Frege},
  Title =	 {On Sense and Reference},
  Year =	 {1892}
}


@book{wittgenstein1922,
  Author =	 {Ludwig Wittgenstein},
  Publisher =	 {Routledge},
  Title =	 {Tractatus Logico-Philosophicus},
  Year =	 1922
}

@book{ayer1952,
  Author =	 {Alfred Jules Ayer},
  Publisher =	 {Dover},
  Title =	 {Language, Truth and Logic},
  Year =	 1952
}

@book{russell1903,
  Author =	 {Bertrand Russell},
  Publisher =	 {Cambridge University Press},
  Title =	 {The Principles of Mathematics},
  Year =	 1903
}

@book{soames2005,
  Author =	 {Scott Soames},
  Publisher =	 {Princeton},
  Title =	 {Philosophical Analysis in the Twentieth Century,
                  Volume 1: The Dawn of Analysis},
  Year =	 2005
}

@book{healey2007,
  Author =	 {Richard Healey},
  Publisher =	 {New York: Oxford University Press},
  Title =	 {Gauging What's Real},
  Year =	 2007
}

@article{belot2003a,
  Author =	 {Gordon Belot},
  Journal =	 {Studies in the History and Philosophy of Modern
                  Physics},
  Title =	 {Symmetry and Gauge Freedom},
  Year =	 2003
}

@book{arntzenius2012,
	Author = {Frank Arntzenius},
	Publisher = {New York: Oxford University Press},
	Title = {Space, Time, and Stuff},
	Year = {2012}}

@article{hempeloppenheim1948,
  Author =	 {Carl Hempel and Paul Oppenheim},
  Journal =	 {Philosophy of Science},
  Title =	 {Studies in the logic of explanation},
  Year =	 1948
}

@article{leitgeb2011,
  Author =	 {Hannes Leitgeb},
  Journal =	 {Synthese},
  Title =	 {Logic in general philosophy of science: old things
                  and new things},
  Year =	 2011
}

@incollection{belot2003,
  Author =	 {Gordon Belot},
  Booktitle =	 {Symmetries in Physics: Philosophical Reflections},
  Editor =	 {Katherine Brading and Elena Castellani},
  Publisher =	 {Cambridge},
  Title =	 {Notes on symmetries},
  Year =	 2003
}

@incollection{ismaelvf,
  Author =	 {Jenann Ismael and Bas van Fraassen},
  Booktitle =	 {Symmetries in Physics: Philosophical Reflections},
  Editor =	 {Katherine Brading and Elena Castellani},
  Publisher =	 {Cambridge},
  Title =	 {Symmetry as a guide to superfluous theoretical
                  structure},
  Year =	 2003
}

@incollection{carnapauto,
  Author =	 {Rudolf Carnap},
  Booktitle =	 {The Philosophy of Rudolph Carnap},
  Editor =	 {Paul Arthur Schilpp},
  Publisher =	 {Open Court},
  Title =	 {Intellectual Autobiography},
  Year =	 1963
}

@article{belot2001,
  title =	 {The principle of sufficient reason},
  author =	 {Belot, Gordon},
  journal =	 {The Journal of Philosophy},
  volume =	 98,
  number =	 2,
  pages =	 {55--74},
  year =	 2001
}

@unpublished{baezsps,
  Author =	 {John Baez and Toby Bartels and James Dolan and David
                  Corfield},
  Journal =	 {Manuscript},
  Note =	 {Available at
                  http://math.ucr.edu/home/baez/qg-spring2004/discussion.html},
  Title =	 {Property, Structure and Stuff},
  Year =	 2006,
  Bdsk-Url-1 =
                  {http://math.ucr.edu/home/baez/qg-spring2004/discussion.html}
}

@article{barrett2014b,
	Author = {Thomas William Barrett},
	Journal = {Manuscript},
	Title = {Spacetime Structure},
	Year = {2014}}

@article{dasgupta2014,
	Author = {Shamik Dasgupta},
	Journal = {The British Journal for the Philosophy of Science (forthcoming)},
	Title = {Symmetry as an Epistemic Notion (Twice Over)},
	Year = {2014}}

@article{gerochdiffgeonotes,
	Author = {Robert Geroch},
	Journal = {Lecture notes},
	Title = {Differential Geometry},
	Year = {1972}}

@book{earman1989,
	Author = {John Earman},
	Publisher = {MIT},
	Title = {World Enough and Spacetime: Absolute versus Relational Theories of Space and Time},
	Year = {1989}}

@book{maudlin2012,
	Author = {Tim Maudlin},
	Title = {Philosophy of Physics: Space and Time},
	Year = {2012}}

@book{geroch1978,
	Author = {Robert Geroch},
	Title = {General Relativity from {A} to {B}},
	Year = {1978}}

@book{malament2012,
	Author = {David B. Malament},
	Title = {Topics in the Foundations of General Relativity and
                  {N}ewtonian Gravitation Theory},
	Year = {2012}}

@article{weatherall-erk,
  title =	 {Are {N}ewtonian gravitation and geometrized
                  {N}ewtonian gravitation theoretically equivalent?},
  author =	 {Weatherall, James Owen},
  journal =	 {Erkenntnis},
  volume =	 81,
  number =	 5,
  pages =	 {1073--1091},
  year =	 2016
}

@book{hall2004,
	Author = {Graham S. Hall},
	Title = {Symmetries and Curvature Structure in General Relativity},
	Year = {2004}}

@article{swansonhalvorsonunpublished,
	Author = {Noel Swanson and Hans Halvorson},
	Journal = {Manuscript},
	Title = {On {N}orth's `{T}he Structure of Physics'},
	Year = {2012}}

@article{barretthalvorsonunpublished,
	Author = {Thomas William Barrett and Hans Halvorson},
	Journal = {Manuscript},
	Title = {How to count structure},
	Year = {2013}}

@article{halvorsonunpublished,
	Author = {Hans Halvorson},
	Journal = {Manuscript},
	Title = {Natural structures on state space},
	Year = {2011}}

@book{vickers,
  title =	 {Understanding inconsistent science},
  author =	 {Vickers, Peter},
  year =	 2013,
  publisher =	 {Oxford University Press}
}

@Phdthesis{lloyd,
  author =	 {Elisabeth Lloyd},
  title =	 {A semantic approach to the structure of evolutionary
                  theory},
  year =	 1984,
  school =	 {Princeton University}
}

@article{suppe1971,
  title =	 {On partial interpretation},
  author =	 {Suppe, Frederick},
  journal =	 {The Journal of Philosophy},
  pages =	 {57--76},
  volume =	 68,
  year =	 1971
}

@incollection{putnam1962,
  title =	 {What theories are not},
  author =	 {Putnam, Hilary},
  booktitle =	 {Logic, Methodology and Philosophy of Science:
                  Proceedings of the 1960 International Congress},
  editor =	 {Ernest Nagel and Patrick Suppes and Alfred Tarski},
  publisher =	 {Stanford University Press},
  pages =	 {240--251},
  year =	 1962
}

@book{bourbaki,
  author =	 {Nicholas Bourbaki},
  title =	 {Th{\'e}orie des Ensembles},
  publisher =	 {Hermann},
  year =	 1970
}

@incollection{dim-han,
  title =	 {Categories of scientific theories},
  author =	 {Halvorson, Hans and Tsementzis, Dimitris},
  booktitle =	 {Categories for the Working Philosopher},
  year =	 2018,
  editor =	 {Elaine Landry},
  publisher =	 {Oxford University Press},
  pages =	 {402--428}
}

@article{awodey,
  title =	 {First-order logical duality},
  author =	 {Awodey, Steve and Forssell, Henrik},
  journal =	 {Annals of Pure and Applied Logic},
  volume =	 164,
  number =	 3,
  pages =	 {319--348},
  year =	 2013,
  publisher =	 {Elsevier}
}

@book{makkai,
  title =	 {First order categorical logic},
  author =	 {Makkai, Michael and Reyes, Gonzalo E},
  year =	 1977,
  publisher =	 {Springer}
}

@article{makkai1987,
  title =	 {Stone duality for first order logic},
  author =	 {Makkai, Michael},
  journal =	 {Advances in Mathematics},
  volume =	 65,
  number =	 2,
  pages =	 {97--170},
  year =	 1987,
  publisher =	 {Elsevier}
}



@article{suppe1972s,
  title={What's wrong with the received view on the structure of scientific theories?},
  author={Suppe, Frederick},
  journal={Philosophy of Science},
  pages={1--19},
  year={1972},
  publisher={JSTOR}
}

@article{thompson1983structure,
  title =	 {The structure of evolutionary theory: A semantic
                  approach},
  author =	 {Thompson, Paul},
  journal =	 {Studies in History and Philosophy of Science},
  volume =	 14,
  number =	 3,
  pages =	 {215--229},
  year =	 1983,
  publisher =	 {Elsevier}
}

@incollection{craver,
  title =	 {Structures of scientific theories},
  author =	 {Craver, Carl F},
  booktitle =	 {The Blackwell guide to the philosophy of science},
  editor =	 {Peter Machamer and Michael Silbertstein},
  pages =	 {55--79},
  year =	 2008,
  publisher =	 {John Wiley \& Sons}
}

@book{thompson1989structure,
  title =	 {The structure of biological theories},
  author =	 {Thompson, Paul},
  year =	 1989,
  publisher =	 {Cambridge Univ Press}
}

@incollection{mormann,
  title =	 {The structure of scientific theories in logical
                  empiricism},
  editor =	 {Alan Richardson and Thomas Uebel},
  booktitle =	 {The Cambridge Companion to Logical Empiricism},
  year =	 2007,
  publisher =	 {Cambridge University Press},
  author =	 {Mormann, Thomas},
  pages =	 {136--162}
}

@incollection{demopoulos,
  title =	 {Carnap on the rational reconstruction of scientific
                  theories},
  author =	 {Demopoulos, William},
  editor =	 {Michael Friedman and Richard Creath},
  booktitle =	 {The Cambridge Companion to Carnap},
  year =	 2007,
  publisher =	 {Cambridge University Press},
  pages =	 {248--272}
}

@book{suppes1999,
  title =	 {Introduction to logic},
  author =	 {Suppes, Patrick},
  year =	 1999,
  publisher =	 {Dover}
}

@article{prz,
  title =	 {A set theoretic versus a model theoretic approach to
                  the logical structure of physical theories},
  author =	 {Prze{\l}ecki, Marian},
  journal =	 {Studia Logica},
  volume =	 33,
  number =	 1,
  pages =	 {91--105},
  year =	 1974,
}

@book{giere1988,
  title =	 {Explaining science: a cognitive approach},
  author =	 {Giere, RN},
  year =	 {1988},
  publisher =	 {University of Chicago Press}
}

@incollection{truesdell,
  title =	 {Suppesian stews},
  author =	 {Clifford Truesdell},
  booktitle =	 {An idiot's fugitive essays on science},
  pages =	 {503--579},
  publisher =	 {Springer},
  address =	 {New York},
  year =	 1984,
}

@article{suppe1972,
  title =	 {What's wrong with the received view on the structure
                  of scientific theories?},
  author =	 {Suppe, Frederick},
  journal =	 {Philosophy of Science},
  volume =	 39,
  pages =	 {1--19},
  year =	 1972
}

@incollection{bas1972,
  title =	 {A formal approach to the philosophy of science},
  author =	 {{van} Fraassen, Bas},
  booktitle =	 {Paradigms and Paradoxes},
  editor =	 {Robert Colodny},
  pages =	 {303--366},
  year =	 1972,
  publisher =	 {University of Pittsburgh Press}
}

@incollection{suppes1964,
  title =	 {What is a scientific theory?},
  author =	 {Suppes, Patrick},
  booktitle =	 {Philosophy of Science Today},
  editor =	 {Sydney Morgenbesser},
  pages =	 {55-67},
  publisher =	 {Basic Books},
  year =	 1964
}

@article{suppes1968,
  title =	 {The desirability of formalization in science},
  author =	 {Suppes, Patrick},
  journal =	 {The Journal of Philosophy},
  pages =	 {651--664},
  year =	 1968,
  publisher =	 {JSTOR}
}

@book{achinstein1968,
  title =	 {Concepts of science},
  author =	 {Achinstein, Peter},
  publisher =	 {The Johns Hopkins Press},
  year =	 1968
}

@book{suppe1977,
  title =	 {The structure of scientific theories},
  author =	 {Suppe, Frederick},
  year =	 1974,
  publisher =	 {University of Illinois Press},
  address =	 {Urbana, Illinois}
}

@incollection{hempel1958,
  title =	 {The theoretician's dilemma: A study in the logic of
                  theory construction},
  booktitle =	 {Concepts, theories, and the mind-body problem},
  series =	 {Minnesota Studies in Philosophy of Science},
  editor =	 {Herbert Feigl and Michael Scriven and Grover
                  Maxwell},
  pages =	 {37--98},
  author =	 {Hempel, Carl Gustav},
  publisher =	 {University of Minnesota Press},
  address =	 {Minneapolis},
  volume =	 2,
  year =	 1958
}

@book{restall,
  title =	 {An introduction to substructural logics},
  author =	 {Restall, Greg},
  year =	 2002,
  publisher =	 {Routledge}
}

@book{carnap1928,
  title =	 {Der logische {A}ufbau der {W}elt},
  author =	 {Carnap, Rudolf},
  publisher =	 {Springer Verlag},
  year =	 {1928}
}

@article{rasmus,
  title =	 {The structure of scientific theories},
  author =	 {Rasmus Gr{\o}nfeldt Winther},
  year =	 2015,
  journal =	 {Stanford Online Encylopedia of Philosophy},
  note =
                  {https://plato.stanford.edu/entries/structure-scientific-theories/}
}

@book{bas2008,
  author =	 {{van} Fraassen, Bas},
  title =	 {Scientific representation: Paradoxes of perspective},
  publisher =	 {Oxford University Press},
  year =	 2008
}

@article{benac,
  title =	 {What numbers could not be},
  author =	 {Benacerraf, Paul},
  journal =	 {The Philosophical Review},
  volume =	 74,
  pages =	 {47--73},
  year =	 1965
}

@article{mundy1,
  title =	 {Scientific theory as partially interpreted calculus},
  author =	 {Mundy, Brent},
  journal =	 {Erkenntnis},
  volume =	 27,
  number =	 2,
  pages =	 {173--196},
  year =	 1987
}

@article{mundy2,
  title =	 {Scientific theory as partially interpreted calculus
                  {II}},
  author =	 {Mundy, Brent},
  journal =	 {Erkenntnis},
  volume =	 28,
  number =	 2,
  pages =	 {165--183},
  year =	 1988
}

@PhdThesis{hudetz-diss,
  author =	 {Laurenz Hudetz},
  title =	 {The Logic of Scientific Theories},
  school =	 {Universit{\"a}t Salzburg},
  year =	 2018
}

@article{rieffel,
  title =	 {Morita equivalence for {$C^*$}-algebras and
                  {$W^*$}-algebras},
  author =	 {Rieffel, Marc A},
  journal =	 {Journal of Pure and Applied Algebra},
  volume =	 5,
  pages =	 {51--96},
  year =	 1974
}

@book{bas1980,
  title =	 {The scientific image},
  author =	 {{van} Fraassen, Bas},
  year =	 {1980},
  publisher =	 {Oxford University Press}
}

@article{suarez2010,
  title =	 {Scientific representation},
  author =	 {Su{\'a}rez, Mauricio},
  journal =	 {Philosophy Compass},
  volume =	 5,
  number =	 1,
  pages =	 {91--101},
  year =	 2010
}

@article{frigg2006,
  title =	 {Scientific representation and the semantic view of
                  theories},
  author =	 {Frigg, Roman},
  journal =	 {Theoria},
  volume =	 21,
  number =	 1,
  pages =	 {49--65},
  year =	 2006
}

@incollection{hawmax,
  title =	 {Plenitude, convention, and ontology},
  booktitle =	 {Metaphysical essays},
  author =	 {Hawthorne, John P.},
  publisher =	 {Oxford University Press},
  pages =	 {53--70},
  year =	 2006
}

@book{schlick,
  author =	 {Moritz Schlick},
  title =	 {Allgemeine {E}rkenntnislehre},
  publisher =	 {Springer},
  year =	 1918
}

@article{frege-hilbert,
  title =	 {The {F}rege-{H}ilbert controversy},
  journal =	 {The Stanford Online Encyclopedia of Philosophy},
  note =	 {https://plato.stanford.edu/entries/frege-hilbert/},
  author =	 {Patricia Blanchette},
  year =	 2012
}

@book{benmen,
  title =	 {Conventionalism: From {P}oincar{\'e} to {Q}uine},
  author =	 {Ben-Menahem, Y.},
  year =	 2006,
  publisher =	 {Cambridge University Press}
}

@article{hirsch2017,
  title =	 {Quantifier variance and the demand for a semantics},
  author =	 {Hirsch, Eli and Warren, Jared},
  journal =	 {Philosophy and Phenomenological Research},
  year =	 2017
}

@article{dorr,
  title =	 {Quantifier variance and the collapse theorems},
  author =	 {Dorr, Cian},
  journal =	 {The Monist},
  volume =	 97,
  number =	 4,
  pages =	 {503--570},
  year =	 2014
}

@article{winnie-id,
  title =	 {The implicit definition of theoretical terms},
  author =	 {Winnie, John A},
  journal =	 {The British Journal for the Philosophy of Science},
  volume =	 18,
  number =	 3,
  pages =	 {223--229},
  year =	 1967,
}

@incollection{jim-spacetime,
  author =	 {James Owen Weatherall},
  title =	 {Classical spacetimes},
  editor =	 {E. Knox and A. Wilson},
  booktitle =	 {The Routledge companion to philosophy of physics},
  year =	 2018,
  publisher =	 {Routledge}
}

@incollection{price2009,
  title =	 {Metaphysics after {C}arnap: The ghost who walks},
  author =	 {Price, Huw},
  booktitle =	 {Metametaphysics: new essays on the foundations of
                  ontology},
  editor =	 {David Chalmers and David Manley and Ryan Wasserman},
  pages =	 {320--346},
  year =	 2009,
  publisher =	 {Oxford University Press}
}

@article{friedman,
  title =	 {Review of \textit{{T}he {S}cientific {I}mage}},
  author =	 {Michael Friedman},
  journal =	 {Journal of Philosophy},
  volume =	 79,
  number =	 5,
  year =	 1982,
  pages =	 {274--283}
}

@incollection{carnap1939,
  title =	 {Foundations of logic and mathematics},
  author =	 {Carnap, Rudolf},
  booktitle =	 {International Encyclopedia of Unified Science},
  year =	 1939,
  pages =	 {139-212},
  editor =	 {Otto Neurath and Rudolf Carnap and Charles Morris},
  volume =	 2,
  publisher =	 {Chicago}
}

@incollection{carnap-unity,
  title =	 {Logical foundations of the unity of science},
  author =	 {Carnap, Rudolf},
  booktitle =	 {International Encyclopedia of Unified Science},
  year =	 1939,
  pages =	 {42-62},
  editor =	 {Otto Neurath and Rudolf Carnap and Charles Morris},
  volume =	 1,
  publisher =	 {Chicago}
}

@inproceedings{beatty1980,
  title =	 {What's Wrong with the Received View of Evolutionary
                  Theory?},
  author =	 {Beatty, John},
  booktitle =	 {PSA: Proceedings of the Biennial Meeting of the
                  Philosophy of Science Association},
  pages =	 {397--426},
  year =	 1980,
  organization = {JSTOR}
}

@incollection{feigl,
  title =	 {The {`}orthodox{'} view of theories: Remarks in
                  defense as well as critique},
  author =	 {Feigl, Herbert},
  editor =	 {Michael Radner and Stephen Winokur},
  year =	 1970,
  booktitle =	 {Anayses of Theories and Methods of Physics and
                  Psychology},
  series =	 {Minnesota Studies in the Philosophy of Science},
  volume =	 4,
  publisher =	 {University of Minnesota Press},
  pages =	 {3--16}
}

@incollection{hempel1970,
  title =	 {On the {``}standard conception{''} of scientific
                  theories},
  year =	 1970,
  booktitle =	 {Anayses of Theories and Methods of Physics and
                  Psychology},
  editor =	 {Michael Radner and Stephen Winokur},
  publisher =	 {University of Minnesota Press},
  author =	 {Hempel, Carl Gustav}
}

@article{lutz,
  title =	 {On a straw man in the philosophy of science: a
                  defense of the received view},
  author =	 {Sebastian Lutz},
  year =	 2012,
  volume =	 2,
  number =	 1,
  pages =	 {77-120},
  journal =	 {HOPOS: The Journal of the International Society for
                  the History of Philosophy of Science}
}

@article{basbeth,
  title =	 {On the extension of {B}eth's semantics of physical
                  theories},
  author =	 {{van} Fraassen, Bas},
  journal =	 {Philosophy of science},
  pages =	 {325--339},
  year =	 1970,
  volume =	 37
}

@incollection{van1987semantic,
  title =	 {The semantic approach to scientific theories},
  author =	 {{van} Fraassen, Bas},
  booktitle =	 {The process of science},
  editor =	 {N.J. Nersessian},
  pages =	 {105--124},
  year =	 1987,
  publisher =	 {Springer}
}

@book{soames,
  title =	 {The analytic tradition in philosophy},
  author =	 {Soames, Scott},
  year =	 2014,
  publisher =	 {Princeton University Press}
}

@incollection{russell-math,
  title =	 {Mathematics and the Metaphysicians},
  author =	 {Russell, Bertrand},
  booktitle =	 {Mysticism and logic},
  pages =	 {57--74},
  year =	 1901,
  publisher =	 {Dover}
}

@book{friedman1999,
  title =	 {Reconsidering logical positivism},
  author =	 {Friedman, Michael},
  year =	 1999,
  publisher =	 {Cambridge University Press}
}

@book{sider2013,
  title =	 {Writing the book of the world},
  author =	 {Sider, Theodore},
  year =	 2013,
  publisher =	 {Oxford University Press}
}

@misc{lefever,
  title =	 {On generalization of definitional equivalence to
                  languages with non-disjoint signatures},
  note =	 {arXiv preprint arXiv:1802.06844},
  year =	 2018
}

@article{dew-ram,
  title =	 {Ramsey equivalence},
  author =	 {Dewar, Neil},
  journal =	 {Erkenntnis},
  pages =	 {1--23},
  year =	 2017
}

@incollection{dewar-int,
  title =	 {Interpretation and equivalence; or, equivalence and
                  interpretation},
  author =	 {Neil Dewar},
  booktitle =	 {The Semantics of Theories},
  editor =	 {E. Curiel and S. Lutz},
  publisher =	 {Oxford University Press},
  year =	 2018
}

@misc{dewar-sup,
  title =	 {Supervenience, reduction, and translation},
  author =	 {Neil Dewar},
  year =	 2018,
  note =	 {Preprint}
}

@book{pearce,
  title =	 {Translation, reduction and equivalence},
  author =	 {Pearce, David},
  year =	 1985,
  publisher =	 {Peter Lang},
  address =	 {Frankfurt}
}

@article{halvorson2012,
  title =	 {What scientific theories could not be},
  author =	 {Halvorson, Hans},
  journal =	 {Philosophy of Science},
  volume =	 79,
  number =	 2,
  pages =	 {183--206},
  year =	 2012
}

@article{glymour,
  title =	 {Theoretical equivalence and the semantic view of
                  theories},
  author =	 {Glymour, Clark},
  journal =	 {Philosophy of Science},
  volume =	 80,
  number =	 2,
  pages =	 {286--297},
  year =	 2013
}

@article{lutz2014,
  title={What's right with a syntactic approach to theories and models?},
  author={Lutz, Sebastian},
  journal={Erkenntnis},
  volume=79,
  number=8,
  pages={1475--1492},
  year=2014
}

@article{carnap1936,
  title =	 {Testability and meaning},
  author =	 {Carnap, Rudolf},
  journal =	 {Philosophy of science},
  volume =	 3,
  number =	 4,
  pages =	 {419--471},
  year =	 1936
}

@article{bas2014,
  title =	 {One or two gentle remarks about {H}ans {H}alvorson's
                  critique of the semantic view},
  author =	 {{van} Fraassen, Bas},
  journal =	 {Philosophy of Science},
  volume =	 81,
  number =	 2,
  pages =	 {276--283},
  year =	 2014,
  publisher =	 {JSTOR}
}

@article{lorenzano,
  title =	 {The semantic conception and the structuralist view
                  of theories: A critique of {S}uppe's criticisms},
  author =	 {Lorenzano, Pablo},
  journal =	 {Studies in History and Philosophy of Science Part A},
  volume =	 44,
  number =	 4,
  pages =	 {600--607},
  year =	 2013,
  publisher =	 {Elsevier}
}

@incollection{reyes,
  author =	 {Gonzalo Reyes},
  title =	 {A derivation of {E}instein's vacuum field equations},
  pages =	 {245--261},
  booktitle =	 {Models, logics, and higher-dimensional categories},
  editor =	 {Bradd Hart},
  publisher =	 {American Mathematical Society},
  year =	 2011
}

@incollection{harnik,
  title =	 {Model theory vs. categorical logic: Two approaches
                  to pretopos completion (aka {$T^{\mathrm{eq}}$})},
  author =	 {Harnik, Victor},
  booktitle =	 {Models, logics, and higher-dimensional categories},
  editor =	 {Bradd Hart},
  publisher =	 {American Mathematical Society},
  pages =	 79,
  year =	 2011
}

@book{adamek-book,
  title =	 {Theory of mathematical structures},
  author =	 {Ad{\'a}mek, Ji{\v{r}}{\'\i}},
  year =	 1983,
  publisher =	 {Springer}
}

@incollection{glymour1970,
  title =	 {Theoretical realism and theoretical equivalence},
  author =	 {Glymour, Clark},
  booktitle =	 {PSA: Proceedings of the Biennial Meeting of the
                  Philosophy of Science Association},
  pages =	 {275--288},
  year =	 1971,
  editor =	 {Roger C. Buck and Robert S. Cohen},
  publisher =	 {Springer}
}

@article{russell,
  title =	 {The relation of sense-data to physics},
  author =	 {Russell, Bertrand},
  journal =	 {Scientia},
  pages =	 {1--27},
  volume =	 16,
  year =	 1914
}

@article{suppepartial,
  title =	 {On partial interpretation},
  author =	 {Suppe, Frederick},
  journal =	 {The Journal of Philosophy},
  pages =	 {57--76},
  year =	 1971,
  volume =	 68
}

@article{suppe2000,
  title =	 {Understanding scientific theories: An assessment of
                  developments, 1969-1998},
  author =	 {Suppe, Frederick},
  journal =	 {Philosophy of Science},
  pages =	 {S102--S115},
  year =	 2000
}

@incollection{bassem,
  title =	 {The semantic approach to scientific theories},
  author =	 {{van} Fraassen, Bas},
  booktitle =	 {The process of science},
  editor =	 {N.J. Nersessian},
  pages =	 {105--124},
  year =	 1987,
  publisher =	 {Springer}
}

@article{quine,
  title =	 {Two dogmas of empiricism},
  author =	 {W.v.O. Quine}
}

@book{suppesnow,
  author =	 {Patrick Suppes},
  title =	 {Representation and invariance of scientific
                  structures},
  publisher =	 {Center for the Study of Language \& Information},
  year =	 2002
}

@article{lawvere-interview,
  author =	 {F. William Lawvere},
  title =	 {Interview with {F.} {W}illiam {L}awvere},
  journal =	 {Bulletin of the International Center for Mathematics
                  Coimbra},
  month =	 {December},
  year =	 2007,
  url =		 {http://www.cim.pt/files/publications/b23www.pdf}
}

@book{carnap-pls,
  author =	 {Rudolf Carnap},
  title =	 {Philosophy and logical syntax},
  publisher =	 {Kegan Paul},
  year =	 1935
}