{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T11:05:26Z","timestamp":1770462326222,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T00:00:00Z","timestamp":1761782400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T00:00:00Z","timestamp":1761782400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,2]]},"DOI":"10.1007\/s00153-025-00989-y","type":"journal-article","created":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T09:14:24Z","timestamp":1761815664000},"page":"133-149","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Constructible structures and constructible open cores"],"prefix":"10.1007","volume":"65","author":[{"given":"Masato","family":"Fujita","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,30]]},"reference":[{"key":"989_CR1","doi-asserted-by":"publisher","first-page":"111","DOI":"10.2178\/jsl\/1327068694","volume":"77","author":"G Boxall","year":"2012","unstructured":"Boxall, G., Hieronymi, P.: Expansions which introduce no new open sets. J. Symbolic Logic 77, 111\u2013121 (2012)","journal-title":"J. Symbolic Logic"},{"key":"989_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.4064\/fm256-5-2016","volume":"236","author":"A Dolich","year":"2017","unstructured":"Dolich, A., Goodrick, J.: Strong theories of ordered abelian groups. Fund. Math. 236, 269\u2013296 (2017)","journal-title":"Fund. Math."},{"key":"989_CR3","doi-asserted-by":"publisher","first-page":"1371","DOI":"10.1090\/S0002-9947-09-04908-3","volume":"362","author":"A Dolich","year":"2010","unstructured":"Dolich, A., Miller, C., Steinhorn, C.: Structure having o-minimal open core. Trans. Amer. Math. Soc. 362, 1371\u20131411 (2010)","journal-title":"Trans. Amer. Math. Soc."},{"key":"989_CR4","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.1215\/ijm\/1258138070","volume":"45","author":"A Dougherty","year":"2001","unstructured":"Dougherty, A., Miller, C.: Definable boolean combinations of open sets are boolean combination of open definable sets. Illinois J. Math. 45, 1347\u20131350 (2001)","journal-title":"Illinois J. Math."},{"key":"989_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01171706","volume":"54","author":"L van den Dries","year":"1985","unstructured":"van den Dries, L.: The field of reals with a predicate for the powers of two. Manuscripta Math. 54, 187\u2013195 (1985)","journal-title":"Manuscripta Math."},{"key":"989_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0168-0072(89)90061-4","volume":"45","author":"L van den Dries","year":"1989","unstructured":"van den Dries, L.: Dimension of definable sets, algebraic boundedness and henselian fields. Ann. Pure Appl. Logic 45, 189\u2013209 (1989)","journal-title":"Ann. Pure Appl. Logic"},{"key":"989_CR7","series-title":"London Mathematical Society Lecture Note Series","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525919","volume-title":"Tame Topology and O-minimal Structures","author":"L van den Dries","year":"1998","unstructured":"van den Dries, L.: Tame Topology and O-minimal Structures. London Mathematical Society Lecture Note Series, vol. 248. Cambridge University Press (1998)"},{"key":"989_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.apal.2012.10.002","volume":"164","author":"A Fornasiero","year":"2013","unstructured":"Fornasiero, A.: Locally o-minimal structures and structures with locally o-minimal open core. Ann. Pure Appl. Logic 164, 211\u2013229 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"key":"989_CR9","unstructured":"Fornasiero, A.: D-minimal structures version 20, preprint (2021) arXiv:2107.04293"},{"key":"989_CR10","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1017\/jsl.2014.10","volume":"80","author":"A Fornasiero","year":"2015","unstructured":"Fornasiero, A., Hieronymi, P.: A fundamental dichotomy for definably complete expansions of ordered fields. J. Symbolic Logic 80, 1091\u20131115 (2015)","journal-title":"J. Symbolic Logic"},{"key":"989_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.4064\/fm209-3-2","volume":"209","author":"A Fornasiero","year":"2010","unstructured":"Fornasiero, A., Servi, T.: Definably complete baire structures. Fund. Math. 209, 215\u2013241 (2010)","journal-title":"Fund. Math."},{"key":"989_CR12","doi-asserted-by":"publisher","first-page":"1654","DOI":"10.1017\/jsl.2020.31","volume":"85","author":"M Fujita","year":"2020","unstructured":"Fujita, M.: Dimension inequality for a uniformly locally o-minimal structure of the second kind. J. Symbolic Logic 85, 1654\u20131663 (2020)","journal-title":"J. Symbolic Logic"},{"key":"989_CR13","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1002\/malq.202000074","volume":"67","author":"M Fujita","year":"2021","unstructured":"Fujita, M.: Uniformly locally o-minimal open core. Math. Log. Quart. 67, 514\u2013524 (2021)","journal-title":"Math. Log. Quart."},{"key":"989_CR14","doi-asserted-by":"crossref","unstructured":"Fujita, M.: Locally o-minimal open core, preprint, arXiv:2111.08197 (2021)","DOI":"10.1002\/malq.202000074"},{"key":"989_CR15","doi-asserted-by":"publisher","first-page":"103144","DOI":"10.1016\/j.apal.2022.103144","volume":"173","author":"M Fujita","year":"2022","unstructured":"Fujita, M.: Almost o-minimal structures and $${\\mathfrak{X} }$$-structures. Ann. Pure Appl. Logic 173, 103144 (2022)","journal-title":"Ann. Pure Appl. Logic"},{"key":"989_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/jsl.2021.80","volume":"88","author":"M Fujita","year":"2023","unstructured":"Fujita, M.: Locally o-minimal structures with tame topological properties. J. Symbolic Logic 88, 219\u2013241 (2023)","journal-title":"J. Symbolic Logic"},{"key":"989_CR17","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1002\/malq.202200004","volume":"68","author":"M Fujita","year":"2022","unstructured":"Fujita, M., Kawakami, T., Komine, W.: Tameness of definably complete locally o-minimal structures and definable bounded multiplication. Math. Log. Quart. 68, 496\u2013515 (2022)","journal-title":"Math. Log. Quart."},{"key":"989_CR18","doi-asserted-by":"publisher","first-page":"783","DOI":"10.2969\/jmsj\/06430783","volume":"64","author":"T Kawakami","year":"2012","unstructured":"Kawakami, T., Takeuchi, K., Tanaka, H., Tsuboi, A.: Locally o-minimal structures. J. Math. Soc. Japan 64, 783\u2013797 (2012)","journal-title":"J. Math. Soc. Japan"},{"key":"989_CR19","doi-asserted-by":"publisher","first-page":"207","DOI":"10.2178\/jsl.7801140","volume":"78","author":"P Hieronymi","year":"2013","unstructured":"Hieronymi, P.: An analogue of the baire category theorem. J. Symbolic Logic 78, 207\u2013213 (2013)","journal-title":"J. Symbolic Logic"},{"key":"989_CR20","doi-asserted-by":"publisher","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 structure II. Trans. Amer. Math. Soc. 295, 593\u2013605 (1986)","journal-title":"Trans. Amer. Math. Soc."},{"key":"989_CR21","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.2307\/2694974","volume":"66","author":"C Miller","year":"2001","unstructured":"Miller, C.: Expansions of dense linear orders with the intermediate value property. J. Symbolic Logic 66, 1783\u20131790 (2001)","journal-title":"J. Symbolic Logic"},{"key":"989_CR22","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1201\/9781439865736-11","volume-title":"Logic Colloquium \u2019 01","author":"C Miller","year":"2005","unstructured":"Miller, C.: Tameness in expansions of the real field. In: Baaz, M., Friedman, S.-D., Kraj\u00edc\u0306ek, J. (eds.) Logic Colloquium \u2019 01, pp. 281\u2013316. Cambridge University Press (2005)"},{"key":"989_CR23","doi-asserted-by":"publisher","first-page":"193","DOI":"10.4064\/fm-162-3-193-208","volume":"162","author":"C Miller","year":"1999","unstructured":"Miller, C., Speissegger, P.: Expansions of the real line by open sets:o-minimality and open cores. Fund. Math. 162, 193\u2013208 (1999)","journal-title":"Fund. Math."},{"key":"989_CR24","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1090\/S0002-9947-1986-0833697-X","volume":"295","author":"A Pillay","year":"1986","unstructured":"Pillay, A., Steinhorn, C.: Definable sets in ordered structure I. Trans. Amer. Math. Soc. 295, 565\u2013592 (1986)","journal-title":"Trans. Amer. Math. Soc."},{"key":"989_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8622-1","volume-title":"A Course in Model Theory:An Introduction to Contemporary Mathematical Logic","author":"B Poizat","year":"2000","unstructured":"Poizat, B.: A Course in Model Theory:An Introduction to Contemporary Mathematical Logic. Universitext, Springer-Verlag (2000)"},{"key":"989_CR26","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1002\/malq.200810016","volume":"55","author":"C Toffalori","year":"2009","unstructured":"Toffalori, C., Vozoris, K.: Notes on local o-minimality. Math. Log. Quart. 55, 617\u2013632 (2009)","journal-title":"Math. Log. Quart."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00989-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00989-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00989-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T17:23:55Z","timestamp":1770398635000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00989-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,30]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["989"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00989-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,30]]},"assertion":[{"value":"7 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}