{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:41:12Z","timestamp":1648820472180},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,1,21]],"date-time":"2014-01-21T00:00:00Z","timestamp":1390262400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1007\/s00153-013-0366-3","type":"journal-article","created":{"date-parts":[[2014,1,20]],"date-time":"2014-01-20T07:08:42Z","timestamp":1390201722000},"page":"285-306","source":"Crossref","is-referenced-by-count":1,"title":["Reducts of p-adically closed fields"],"prefix":"10.1007","volume":"53","author":[{"given":"Eva","family":"Leenknegt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,21]]},"reference":[{"key":"366_CR1","first-page":"105","volume":"540","author":"R. Cluckers","year":"2001","unstructured":"Cluckers R.: Classification of semi-algebraic p-adic sets up to semi-algebraic bijection. J. Reine Angew. Math. 540, 105\u2013114 (2001)","journal-title":"J. Reine Angew. Math."},{"issue":"2","key":"366_CR2","doi-asserted-by":"crossref","first-page":"621","DOI":"10.2178\/jsl\/1333566641","volume":"77","author":"R. Cluckers","year":"2012","unstructured":"Cluckers R., Leenknegt E.: A version of p-adic minimality. J. Symb. Logic 77(2), 621\u2013630 (2012)","journal-title":"J. Symb. Logic"},{"key":"366_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01389133","volume":"77","author":"J. Denef","year":"1984","unstructured":"Denef J.: The rationality of the Poincar\u00e9 series associated to the p-adic points on a variety. Invent Math. 77, 1\u201323 (1984)","journal-title":"Invent Math."},{"key":"366_CR4","first-page":"154","volume":"369","author":"J. Denef","year":"1986","unstructured":"Denef J.: p-adic semi-algebraic sets and cell decomposition. J. Reine Angew. Math. 369, 154\u2013166 (1986)","journal-title":"J. Reine Angew. Math."},{"issue":"4","key":"366_CR5","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.2307\/2275628","volume":"62","author":"D. Haskell","year":"1997","unstructured":"Haskell D., Macpherson D.: A version of o-minimality for the p-adics. J. Symb. Logic 62(4), 1075\u20131092 (1997)","journal-title":"J. Symb. Logic"},{"key":"366_CR6","unstructured":"Leenknegt, E.: Cell decomposition for semi-bounded p-adic sets. Accepted for publication in Archive for Mathematical Logic"},{"key":"366_CR7","unstructured":"Leenknegt, E.: Cell decomposition for p-adic fields: definable sets and minimality. PhD thesis, K.U. Leuven, April (2011)"},{"issue":"6","key":"366_CR8","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1002\/malq.201200031","volume":"58","author":"E. Leenknegt","year":"2012","unstructured":"Leenknegt E.: Cell decomposition and definable functions for weak p-adic structures. MLQ Math. Log. Q. 58(6), 482\u2013497 (2012)","journal-title":"MLQ Math. Log. Q."},{"issue":"14","key":"366_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4115\/jla.2012.4.14","volume":"4","author":"E. Leenknegt","year":"2012","unstructured":"Leenknegt E.: Cell decomposition for semi-affine structures on p-adic fields. J. Logic Anal. 4(14), 1\u201325 (2012)","journal-title":"J. Logic Anal."},{"key":"366_CR10","doi-asserted-by":"crossref","first-page":"605","DOI":"10.2307\/2272038","volume":"41","author":"A. Macintyre","year":"1976","unstructured":"Macintyre A.: On definable subsets of p-adic fields. J. Symb. Logic 41, 605\u2013610 (1976)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"366_CR11","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2275179","volume":"57","author":"D. Marker","year":"1992","unstructured":"Marker D., Peterzil Y., Pillay A.: Additive reducts of real closed fields. J. Symb. Logic 57(1), 109\u2013117 (1992)","journal-title":"J. Symb. Logic"},{"issue":"5","key":"366_CR12","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1002\/malq.200810009","volume":"55","author":"M.-H. Mourgues","year":"2009","unstructured":"Mourgues M.-H.: Cell decomposition for P-minimal fields. MLQ Math. Log. Q. 55(5), 487\u2013492 (2009)","journal-title":"MLQ Math. Log. Q."},{"issue":"3","key":"366_CR13","doi-asserted-by":"crossref","first-page":"779","DOI":"10.2307\/2275430","volume":"57","author":"Y. Peterzil","year":"1992","unstructured":"Peterzil Y.: A structure theorem for semibounded sets in the reals. J. Symb. Logic 57(3), 779\u2013794 (1992)","journal-title":"J. Symb. Logic"},{"issue":"3","key":"366_CR14","doi-asserted-by":"crossref","first-page":"955","DOI":"10.2307\/2275107","volume":"58","author":"Y. Peterzil","year":"1993","unstructured":"Peterzil Y.: Reducts of some structures over the reals. J. Symb. Logic 58(3), 955\u2013966 (1993)","journal-title":"J. Symb. Logic"},{"key":"366_CR15","volume-title":"Formally p-adic fields Lecture Notes in Mathematics","author":"A. Prestel","year":"1984","unstructured":"Prestel A., Roquette P.: Formally p-adic fields Lecture Notes in Mathematics. Springer, Berlin (1984)"},{"issue":"4","key":"366_CR16","doi-asserted-by":"crossref","first-page":"1138","DOI":"10.2307\/2274609","volume":"53","author":"P. Scowcroft","year":"1988","unstructured":"Scowcroft P., van den Dries L.: On the structure of semialgebraic sets over p-adic fields. J. Symb. Logic 53(4), 1138\u20131164 (1988)","journal-title":"J. Symb. Logic"},{"key":"366_CR17","volume-title":"A decision procedure for elementary algebra and geometry","author":"A. Tarski","year":"1948","unstructured":"Tarski A.: A decision procedure for elementary algebra and geometry. The RAND Corporation, Santa Monica (1948)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0366-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/article\/10.1007\/s00153-013-0366-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0366-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:42Z","timestamp":1558626882000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/http\/link.springer.com\/10.1007\/s00153-013-0366-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,21]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2014,5]]}},"alternative-id":["366"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1007\/s00153-013-0366-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,21]]}}}