{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T08:10:02Z","timestamp":1751098202329,"version":"3.41.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,12,6]],"date-time":"2017-12-06T00:00:00Z","timestamp":1512518400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministry of Science and Technology, Taiwan (TW)","award":["104-2410-H-194-098-MY3"],"award-info":[{"award-number":["104-2410-H-194-098-MY3"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s11225-017-9768-2","type":"journal-article","created":{"date-parts":[[2017,12,6]],"date-time":"2017-12-06T15:20:11Z","timestamp":1512573611000},"page":"809-826","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["General Extensional Mereology is Finitely Axiomatizable"],"prefix":"10.1007","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2113-8012","authenticated-orcid":false,"given":"Hsing-chien","family":"Tsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,6]]},"reference":[{"key":"9768_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places","author":"R Casati","year":"1999","unstructured":"Casati,\u00a0R., and A. Varzi, Parts and Places, MIT Press, Cambridge, 1999."},{"key":"9768_CR2","doi-asserted-by":"crossref","first-page":"453","DOI":"10.2307\/2216221","volume":"16","author":"HE Hendry","year":"1982","unstructured":"Hendry,\u00a0H.E., Complete Extensions of the Calculus of Individuals, No\u00fbs 16:453\u2013460, 1982.","journal-title":"No\u00fbs"},{"key":"9768_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W Hodges","year":"1993","unstructured":"Hodges,\u00a0W., Model Theory, Cambridge University Press, Cambridge, 1993."},{"key":"9768_CR4","unstructured":"Niebergall, K.G., Mereology, in L. Horsten, and R. Pettigrew (eds.), The Bloomsbury Companion to Philosophical Logic, Bloomsbury Academic, London, 2014, pp. 271\u2013298."},{"key":"9768_CR5","doi-asserted-by":"crossref","first-page":"485","DOI":"10.12775\/LLP.2015.017","volume":"24","author":"A Pietruszczak","year":"2015","unstructured":"Pietruszczak,\u00a0A., Classical Mereology Is Not Elementarily Axiomatizable, Logic and Logical Philosophy 24:485\u2013498, 2015.","journal-title":"Logic and Logical Philosophy"},{"key":"9768_CR6","unstructured":"Simons, P., Parts: A Study in Ontology, Clarendon Press, Oxford, 1987."},{"key":"9768_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.12775\/LLP.2009.004","volume":"18","author":"H Tsai","year":"2009","unstructured":"Tsai,\u00a0H., Decidability of Mereological Thoeries, Logic and Logical Philosophy 18:45\u201363, 2009.","journal-title":"Logic and Logical Philosophy"},{"key":"9768_CR8","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1007\/s11225-012-9400-4","volume":"101","author":"H Tsai","year":"2013","unstructured":"Tsai,\u00a0H., Decidability of General Extensional Mereology, Studia Logica 101:619\u2013636, 2013.","journal-title":"Studia Logica"},{"key":"9768_CR9","doi-asserted-by":"crossref","first-page":"469","DOI":"10.12775\/LLP.2015.023","volume":"24","author":"H Tsai","year":"2015","unstructured":"Tsai,\u00a0H., Notes on Models of First-Order Mereological Theories, Logic and Logical Philosophy 24:469\u2013482, 2015.","journal-title":"Logic and Logical Philosophy"},{"key":"9768_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s10670-015-9736-z","volume":"81","author":"H Tsai","year":"2016","unstructured":"Tsai,\u00a0H., and A.C.\u00a0Varzi, Atoms, Gunk and the Limits of \u2018Composition\u2019, Erkenntnis 81:231\u2013235, 2016.","journal-title":"Erkenntnis"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9768-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9768-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9768-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T07:33:33Z","timestamp":1751096013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9768-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,6]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["9768"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9768-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2017,12,6]]}}}