{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T19:08:49Z","timestamp":1784833729624,"version":"3.55.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s10992-018-9491-0","type":"journal-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T10:13:45Z","timestamp":1540376025000},"page":"709-729","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On Generalization of Definitional Equivalence to Non-Disjoint Languages"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7836-4734","authenticated-orcid":false,"given":"Koen","family":"Lefever","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gergely","family":"Sz\u00e9kely","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"issue":"6","key":"9491_CR1","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1002\/malq.200410051","volume":"51","author":"H Andr\u00e9ka","year":"2005","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I. (2005). Mutual definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly, 51(6), 591\u2013597.","journal-title":"Mathematical Logic Quarterly"},{"key":"9491_CR2","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I. (2008). Defining new universes in many-sorted logic. Research report, Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungar. Acad. Sci., Budapest. \n                              https:\/\/www.researchgate.net\/publication\/242602426\n                              \n                           ."},{"key":"9491_CR3","unstructured":"Andr\u00e9ka, H., Madar\u00e1sz, J.X., N\u00e9meti, I. (2002). with contributions from: Andai, A., S\u00e1gi, G., Sain, I., T\u00f6ke, C.: On the logical structure of relativity theories. Research report, Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungar. Acad. Sci., Budapest. \n                              https:\/\/old.renyi.hu\/pub\/algebraic-logic\/Contents.html\n                              \n                           ."},{"key":"9491_CR4","unstructured":"Andr\u00e9ka, H., & N\u00e9meti, I. (2014). Definability theory course notes. \n                              https:\/\/old.renyi.hu\/pub\/algebraic-logic\/DefThNotes0828.pdf\n                              \n                           ."},{"key":"9491_CR5","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., Sain, I. (2001). Algebraic logic. In Handbook of philosophical logic Volume II (pp. 133\u2013248): Springer."},{"issue":"5","key":"9491_CR6","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/s10992-015-9382-6","volume":"45","author":"TW Barrett","year":"2016","unstructured":"Barrett, T.W., & Halvorson, H. (2016). Glymour and Quine on theoretical equivalence. Journal of Philosophical Logic, 45(5), 467\u2013483. \n                              https:\/\/doi.org\/10.1007\/s10992-015-9382-6\n                              \n                           .","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9491_CR7","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1017\/S1755020316000186","volume":"9","author":"TW Barrett","year":"2016","unstructured":"Barrett, T.W., & Halvorson, H. (2016). Morita equivalence. The Review of Symbolic Logic, 9(3), 556\u2013582.","journal-title":"The Review of Symbolic Logic"},{"key":"9491_CR8","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1016\/S1385-7258(65)50063-9","volume":"27","author":"KL Bouv\u00e8re de","year":"1965","unstructured":"de Bouv\u00e8re, K.L. (1965). Logical synonymy. Indagationes Mathematicae, 27, 622\u2013629.","journal-title":"Indagationes Mathematicae"},{"key":"9491_CR9","unstructured":"de Bouv\u00e8re, K.L. (1965). Synonymous theories. In The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley (pp. 402\u2013406). North Holland."},{"key":"9491_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-3932-1","volume-title":"Is water h2o? evidence, realism and pluralism","author":"H Chang","year":"2012","unstructured":"Chang, H. (2012). Is water\n                           h\n                           2\n                           o? evidence, realism and pluralism. Dordrecht: Springer."},{"issue":"1-2","key":"9491_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1080\/01445348008837010","volume":"1","author":"J Corcoran","year":"1980","unstructured":"Corcoran, J. (1980). On definitional equivalence and related topics. History and Philosophy of Logic, 1(1-2), 231\u2013234.","journal-title":"History and Philosophy of Logic"},{"key":"9491_CR12","unstructured":"Friedman, H.A., & Visser, A. (2014). When bi-interpretability implies synonymy."},{"key":"9491_CR13","unstructured":"Friend, M., Khaled, M., Lefever, K., Sz\u00e9kely, G. (2018). Distances between formal theories. arXiv:\n                              1807.01501\n                              \n                           ."},{"issue":"3","key":"9491_CR14","doi-asserted-by":"publisher","first-page":"305","DOI":"10.2178\/bsl\/1286284556","volume":"16","author":"K Fujimoto","year":"2010","unstructured":"Fujimoto, K. (2010). Relative truth definability of axiomatic truth theories. Bulletin of Symbolic Logic, 16(3), 305\u2013344.","journal-title":"Bulletin of Symbolic Logic"},{"key":"9491_CR15","doi-asserted-by":"publisher","first-page":"275","DOI":"10.2307\/495769","volume":"1970","author":"C Glymour","year":"1970","unstructured":"Glymour, C. (1970). Theoretical realism and theoretical equivalence. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1970, 275\u2013288. \n                              https:\/\/doi.org\/10.2307\/495769\n                              \n                           .","journal-title":"PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association"},{"issue":"3","key":"9491_CR16","doi-asserted-by":"publisher","first-page":"227","DOI":"10.2307\/2214764","volume":"11","author":"C Glymour","year":"1977","unstructured":"Glymour, C. (1977). Symposium on space and time: The epistemology of geometry. No\u00fbs, 11(3), 227\u2013251. \n                              https:\/\/doi.org\/10.2307\/2214764\n                              \n                           .","journal-title":"No\u00fbs"},{"key":"9491_CR17","unstructured":"Glymour, C. (1980). Theory and evidence. Princeton."},{"key":"9491_CR18","unstructured":"Heath, T.L. (1956). The Thirteen Books of Euclid\u2019s Elements ([Facsimile. Original publication: Cambridge University Press, 1908] 2nd ed.) Dover Publications."},{"key":"9491_CR19","unstructured":"Henkin, L., Monk, J., Tarski, A. (1971). Cylindric algebras Part I. North-Holland."},{"key":"9491_CR20","unstructured":"Henkin, L., Monk, J., Tarski, A. (1985). Cylindric algebras part II. North-Holland."},{"key":"9491_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model theory","author":"W Hodges","year":"1993","unstructured":"Hodges, W. (1993). Model theory. Cambridge: Cambridge University Press."},{"key":"9491_CR22","volume-title":"A shorter model theory","author":"W Hodges","year":"1997","unstructured":"Hodges, W. (1997). A shorter model theory. Cambridge: Cambridge University Press."},{"key":"9491_CR23","volume-title":"The copernican revolution: planetary astronomy in the development of western thought","author":"T Kuhn","year":"1957","unstructured":"Kuhn, T. (1957). The copernican revolution: planetary astronomy in the development of western thought. Cambridge: Harvard University Press."},{"key":"9491_CR24","unstructured":"Lefever, K. (2017). Using logical interpretation and definitional equivalence to compare classical kinematics and special relativity theory. Ph.D. thesis, Vrije Universiteit Brussel."},{"issue":"241","key":"9491_CR25","first-page":"57","volume":"61","author":"K Lefever","year":"2018","unstructured":"Lefever, K., & Sz\u00e9kely, G. (2018). Comparing classical and relativistic kinematics in first-order-logic. Logique et Analyse, 61(241), 57\u2013117.","journal-title":"Logique et Analyse"},{"key":"9491_CR26","unstructured":"Madar\u00e1sz, J.X. (2002). Logic and relativity (in the light of definability theory). Ph.D. thesis, E\u00f6tv\u00f6s Lor\u00e1nd Univ., Budapest."},{"key":"9491_CR27","unstructured":"Montague, R. (1956). Contributions to the axiomatic foundations of set theory. Ph.D. thesis, Berkeley."},{"key":"9491_CR28","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1002\/malq.19780243102","volume":"24","author":"CC Pinter","year":"1978","unstructured":"Pinter, C.C. (1978). Properties preserved under definitional equivalence and interpretations. Zeitschr. f. math Logik und Grundlagen d. nlath., 24, 481\u2013488.","journal-title":"Zeitschr. f. math Logik und Grundlagen d. nlath."},{"key":"9491_CR29","unstructured":"Playfair, J. (1846). Elements of geometry. W. E. Dean."},{"issue":"4","key":"9491_CR30","doi-asserted-by":"publisher","first-page":"105","DOI":"10.2307\/2268308","volume":"11","author":"WV Quine","year":"1946","unstructured":"Quine, W.V. (1946). Concatenation as a basis for arithmetic. The Journal of Symbolic Logic, 11(4), 105\u2013114.","journal-title":"The Journal of Symbolic Logic"},{"key":"9491_CR31","volume-title":"Undecidable theories","author":"A Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., Robinson, R. (1953). Undecidable theories. New York: Elsevier."},{"key":"9491_CR32","unstructured":"Visser, A. (2006). Categories of theories and interpretations. In Logic in Tehran. Proceedings of the workshop and conference on Logic, Algebra and Arithmetic, held October 18\u201322, 2003, volume 26 of Lecture Notes in Logic (pp. 284\u2013341). Wellesley, Mass: ASL, A.K. Peters, Ltd."},{"key":"9491_CR33","unstructured":"Visser, A. (2015). Extension & interpretability. Logic Group preprint series 329. 1874\/319941. \n                              https:\/\/dspace.library.uu.nl\/handle\/1874\/319941\n                              \n                           ."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9491-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9491-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9491-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T20:10:49Z","timestamp":1571861449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9491-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["9491"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9491-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"23 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}