{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T14:41:59Z","timestamp":1768315319417,"version":"3.49.0"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T00:00:00Z","timestamp":1464652800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Social Sciences Foundation of China","award":["14 BZX078"],"award-info":[{"award-number":["14 BZX078"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s00153-016-0491-x","type":"journal-article","created":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T16:23:35Z","timestamp":1464711815000},"page":"749-757","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Definable sets in Stone algebras"],"prefix":"10.1007","volume":"55","author":[{"given":"Lei","family":"Chen","sequence":"first","affiliation":[]},{"given":"Niandong","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Guohua","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,31]]},"reference":[{"key":"491_CR1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.2307\/2271517","volume":"36","author":"J Baldwin","year":"1971","unstructured":"Baldwin, J., Lachlan, H.: On strongly minimal sets. J. Symb. Logic 36, 79\u201396 (1971)","journal-title":"J. Symb. Logic"},{"key":"491_CR2","doi-asserted-by":"crossref","unstructured":"Lou van den Dries: Tame Topology and o-Minimal Structures. Cambridge University Press, Cambridge (1998)","DOI":"10.1017\/CBO9780511525919"},{"key":"491_CR3","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1090\/S0002-9947-1988-0943306-9","volume":"309","author":"A Pillay","year":"1988","unstructured":"Pillay, A., Steinhorn, C.: Definable sets in ordered structures III. Trans. AMS 309, 469\u2013476 (1988)","journal-title":"Trans. AMS"},{"key":"491_CR4","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1090\/S0002-9947-1986-0833698-1","volume":"295","author":"J Knight","year":"1986","unstructured":"Knight, J., Pillay, A., Steinhorn, C.: Definable sets in ordered structures II. Trans. AMS 295, 593\u2013605 (1986)","journal-title":"Trans. AMS"},{"key":"491_CR5","doi-asserted-by":"crossref","first-page":"1821","DOI":"10.2307\/2694978","volume":"66","author":"L Newelski","year":"2001","unstructured":"Newelski, L., Wencel, R.: Definable sets in Boolean-ordered o-minimal structures I. J. Symb. Logic 66, 1821\u20131836 (2001)","journal-title":"J. Symb. Logic"},{"key":"491_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2178\/jsl\/1045861505","volume":"68","author":"R Wencel","year":"2003","unstructured":"Wencel, R.: Definable sets in Boolean-ordered o-minimal structures II. J. Symb. Logic 68, 35\u201351 (2003)","journal-title":"J. Symb. Logic"},{"key":"491_CR7","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.2178\/jsl\/1190150291","volume":"67","author":"R Wencel","year":"2002","unstructured":"Wencel, R.: Small theories of Boolean-ordered o-minimal structures. J. Symb. Logic 67, 1385\u20131390 (2002)","journal-title":"J. Symb. Logic"},{"key":"491_CR8","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1305\/ndjfl\/1039118862","volume":"39","author":"C Toffalori","year":"1998","unstructured":"Toffalori, C.: Lattice ordered o-minimal structures. Notre Dame J. Form. Logic 39, 447\u2013463 (1998)","journal-title":"Notre Dame J. Form. Logic"},{"key":"491_CR9","first-page":"135","volume":"13","author":"P Schmitt","year":"1976","unstructured":"Schmitt, P.: The model completion of Stone algebras. Ann. Sci. Univ. Clermont 13, 135\u2013155 (1976)","journal-title":"Ann. Sci. Univ. Clermont"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0491-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0491-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0491-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T15:25:03Z","timestamp":1498317903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0491-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,31]]},"references-count":9,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["491"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0491-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,31]]}}}