Skip navigation
Please use this identifier to cite or link to this item: http://arks.princeton.edu/ark:/88435/dsp01sb397c01d
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorMcConnell, Mark-
dc.contributor.advisorKochen, Simon-
dc.contributor.advisorHalvorson, Hans P-
dc.contributor.authorWashington, Evan-
dc.date.accessioned2018-08-17T19:01:28Z-
dc.date.available2018-08-17T19:01:28Z-
dc.date.created2018-05-07-
dc.date.issued2018-08-17-
dc.identifier.urihttp://arks.princeton.edu/ark:/88435/dsp01sb397c01d-
dc.description.abstractDefinitional equivalence captures a sense in which theories are intertranslatable. Here I show that the same holds for a natural generalization of definitional equivalence to many-sorted theories: Morita equivalence. I show that Morita equivalence, a syntactic notion of equivalence of theories developed by Halvorson and Barrett, coincides with a generalized version of another syntactic notion created by Ahlbrandt and Ziegler (and more recently developed by Visser). This generalizes the earlier result of Halvorson and Barrett which showed that definitional equivalence and intertranslatability coincide in the case of single-sorted first-order theories. Definitional equivalence corresponds to being isomorphic in a category; Morita equivalence corresponds to being naturally isomorphic.en_US
dc.format.mimetypeapplication/pdf-
dc.language.isoenen_US
dc.titleOn the Equivalence of Logical Theoriesen_US
dc.typePrinceton University Senior Theses-
pu.date.classyear2018en_US
pu.departmentMathematicsen_US
pu.pdf.coverpageSeniorThesisCoverPage-
pu.contributor.authorid960849779-
Appears in Collections:Mathematics, 1934-2023

Files in This Item:
File Description SizeFormat 
WASHINGTON-EVAN-THESIS.pdf580.53 kBAdobe PDF    Request a copy


Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.