{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T07:24:14Z","timestamp":1763018654542,"version":"3.32.0"},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T00:00:00Z","timestamp":1689552000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, Glymour and Halvorson.<\/jats:p>","DOI":"10.1017\/s1755020323000242","type":"journal-article","created":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T10:28:50Z","timestamp":1689589730000},"page":"1097-1118","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS"],"prefix":"10.1017","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7327-4702","authenticated-orcid":false,"given":"HAJNAL","family":"ANDR\u00c9KA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JUDIT","family":"MADAR\u00c1SZ","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ISTV\u00c1N","family":"N\u00c9METI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GERGELY","family":"SZ\u00c9KELY","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2023,7,17]]},"reference":[{"key":"S1755020323000242_r20","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1502-0"},{"key":"S1755020323000242_r8","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020316000186"},{"key":"S1755020323000242_r23","doi-asserted-by":"publisher","DOI":"10.1111\/phpr.12221"},{"key":"S1755020323000242_r21","doi-asserted-by":"publisher","DOI":"10.2307\/1970235"},{"key":"S1755020323000242_r26","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(87)90020-X"},{"key":"S1755020323000242_r28","first-page":"284","volume-title":"Logic in Tehran. Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, Held October 18\u201322, 2003","volume":"26","author":"Visser","year":"2006"},{"key":"S1755020323000242_r27","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429844"},{"key":"S1755020323000242_r4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06025-5_6"},{"key":"S1755020323000242_r5","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.10.016"},{"key":"S1755020323000242_r24","unstructured":"[24] Madar\u00e1sz, J. X. (2002). Logic and Relativity (in the Light of Definability Theory). Ph.D. Thesis, E\u00f6tv\u00f6s Lor\u00e1nd University. Available from: http:\/\/www.math-inst.hu\/pub\/algebraic-logic\/diszi.pdf."},{"key":"S1755020323000242_r2","unstructured":"[2] Andr\u00e9ka, H. , Madar\u00e1sz, J. X. , & N\u00e9meti, I. (2002). On the Logical Structure of Relativity Theories. Research report. Budapest: Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, 1312 pp., with contributions from A. Andai, G. S\u00e1gi, I. Sain and Cs. T\u0151ke. Available from: http:\/\/www.math-inst.hu\/pub\/algebraiclogic\/Contents.html."},{"key":"S1755020323000242_r16","doi-asserted-by":"publisher","DOI":"10.1090\/crmp\/053\/04"},{"volume-title":"Model Theory","year":"2008","author":"Hodges","key":"S1755020323000242_r18"},{"key":"S1755020323000242_r29","doi-asserted-by":"publisher","DOI":"10.1007\/s10670-015-9783-5"},{"key":"S1755020323000242_r22","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-018-9491-0"},{"key":"S1755020323000242_r7","doi-asserted-by":"publisher","DOI":"10.1086\/699156"},{"key":"S1755020323000242_r11","volume-title":"Model Theory","volume":"73","author":"Chang","year":"1990"},{"key":"S1755020323000242_r12","first-page":"402","volume-title":"The Theory of Models","author":"de Bouv\u00e8re","year":"1965"},{"key":"S1755020323000242_r10","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-023-04186-3"},{"key":"S1755020323000242_r9","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-022-03733-8"},{"key":"S1755020323000242_r6","unstructured":"[6] Barrett, T. W. (2017). On the Structure and Equivalence of Theories. Ph.D. Thesis, Princeton University."},{"key":"S1755020323000242_r3","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200410051"},{"key":"S1755020323000242_r14","doi-asserted-by":"publisher","DOI":"10.1086\/664745"},{"key":"S1755020323000242_r25","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0075314"},{"key":"S1755020323000242_r19","doi-asserted-by":"publisher","DOI":"10.1086\/701047"},{"key":"S1755020323000242_r15","doi-asserted-by":"publisher","DOI":"10.1017\/9781316275603"},{"volume-title":"Cylindric Algebras. Parts I\u2013II","year":"1971","author":"Henkin","key":"S1755020323000242_r17"},{"key":"S1755020323000242_r13","doi-asserted-by":"publisher","DOI":"10.1086\/670261"},{"volume-title":"Abstract and Concrete Categories","year":"2004","author":"Ad\u00e1mek","key":"S1755020323000242_r1"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020323000242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T10:53:38Z","timestamp":1735815218000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020323000242\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,17]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["S1755020323000242"],"URL":"https:\/\/doi.org\/10.1017\/s1755020323000242","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"type":"print","value":"1755-0203"},{"type":"electronic","value":"1755-0211"}],"subject":[],"published":{"date-parts":[[2023,7,17]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}