{"entities":{"Q2839340":{"pageid":2850060,"ns":120,"title":"Item:Q2839340","lastrevid":83815010,"modified":"2026-05-07T12:03:10Z","type":"item","id":"Q2839340","labels":{"en":{"language":"en","value":"Monomialization of morphisms and \\(p\\)-adic quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184455"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$4A75589C-0535-427F-A33D-5697CAEF0082","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04a88d3220408452222b1575d986058e34b84003","datavalue":{"value":"1274.14026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$2B9B6304-960B-4014-B301-FB82F7C23B69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"099c29c7a36b257c49d1b7d1e672f019d8a94cf1","datavalue":{"value":"10.1090/S0002-9939-2013-11562-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$84402BEE-F4E7-4602-B531-0F4DAB99B1F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8128aad4297ac89e903833b9b4a0180154951e5e","datavalue":{"value":{"entity-type":"item","numeric-id":361832,"id":"Q361832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$EC70E059-05CD-4386-B5E8-D0B2713FE6F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$EED6BB0F-5258-41D4-9B37-FE7D86442423","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2839340$60297F7D-0D36-44FF-ABC3-7B5E7AFC4F6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d1ffd3ccde22cc9deff7d84ae42c543119316a6","datavalue":{"value":"https://arxiv.org/abs/1108.6237","type":"string"},"datatype":"url"},"type":"statement","id":"Q2839340$07EB9073-3B31-4DBB-9B7C-E07712FC186B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$5405676C-DF70-418E-A694-CD93252C2F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a470ca3704d22da637e23b90becb1551cee1a253","datavalue":{"value":"11S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$1A46848B-E70D-4239-86B1-26E7BECA3CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$3057A2F1-8DCD-4F31-B975-AE491445DA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$76096B08-721E-429B-8600-042247872D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$9FD899C2-925B-4AE8-89FF-E3A13E770BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7df4f88c39e84b5371b22a4dac0c075aabf8fdc","datavalue":{"value":"6184455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2839340$17B0B219-677B-4439-9B48-A8915775865F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca2d4ca7deeb9ac2128f0dc58626afc70e93391","datavalue":{"value":"\\(p\\)-adic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$6DA00501-3961-4117-8657-100A0047DA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efddf96b0fd82167e30c94b24a4ac9afdbc1722d","datavalue":{"value":"Quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$E69DB915-C606-435C-B84A-CDCBA32E1927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8958d7c82a1d64fc3f80d6639fdd5870a291ffa","datavalue":{"value":"Monomialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$606141B5-BD7B-460C-A1BF-51413B87F95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b65ae73523fdcdaad494695015cd76eb0fcaa0","datavalue":{"value":"Dominant morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$03FE940F-D6A8-4B53-85FA-183E20DE8819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32e5294489a179ae89c33ccd1aae6c369294b21c","datavalue":{"value":"Scheme of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$88D12D0B-6471-46BC-A729-39BB5B5A6CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b03bfe1a60c45ecf80ac250f62b670f119920f22","datavalue":{"value":"Toroidalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$234074BC-4817-4980-84D9-86B3D2F72D70","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$AA7E3114-ABDF-4A88-95F6-3ACC4D474B93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c495b623960303f798a6c01483b6c22d34c62dbc","datavalue":{"value":{"entity-type":"item","numeric-id":1976868,"id":"Q1976868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$A2283C08-1375-4022-8A2A-F93D53B4B0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa99add03dc57217d89aa2e98bbf7f3a986863a","datavalue":{"value":{"entity-type":"item","numeric-id":361834,"id":"Q361834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$6CC996ED-1493-4AE2-AB42-3F5E7570D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$E88B034E-BA50-4288-B581-1996EE6CD366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$19899533-AAD0-4EE8-BB14-CC13D17DA91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"964ae4db291667922153cb4c43946bd87b1a9321","datavalue":{"value":{"entity-type":"item","numeric-id":2566835,"id":"Q2566835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$22C7BED3-13D6-4D70-8EE4-2760EC2352A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5c844f1cb1cb2b072269f5e06f14b82697a057","datavalue":{"value":{"entity-type":"item","numeric-id":5429709,"id":"Q5429709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$9A584AEB-99C2-4AD2-BD1F-878804CF42B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051cf7b41555c8858443e61056421deceafb04fd","datavalue":{"value":{"entity-type":"item","numeric-id":792384,"id":"Q792384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$A07AB1CB-9F11-4DC0-9849-9121B9970673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e527ee52403f296d6d8813ef2cce6a7d0bcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3708875,"id":"Q3708875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$8B8647D8-E5BC-4D3E-8E64-E0ECE2109999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ca89ab855e54ea8e1e81c91c40050dde438de0","datavalue":{"value":{"entity-type":"item","numeric-id":2945027,"id":"Q2945027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$116A7726-EB21-4563-8C0E-7800E67A38B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76176b56c368dfcc3d3cf1b9930cd23866dae8c","datavalue":{"value":{"entity-type":"item","numeric-id":4135501,"id":"Q4135501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$4261A6F0-85E6-4BEA-BADF-BAF91763B0F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9246719c8afec313ddbd92a221bdcb0cd159f16","datavalue":{"value":{"text":"Monomialization of morphisms and \\(p\\)-adic quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2839340$32F5005D-CA0A-41EA-9F12-C36D4E623325","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63a7b04c95eca85500ff18f50a97dd4858a9c00b","datavalue":{"value":"The paper provides a new and short proof of Macintyre's Theorem on quantifier elimination for \\(p\\)-adic numbers. Macintyre's result can be reformulated in algebraic terms as follows: NEWLINENEWLINEIf \\(f: X \\to Y\\) is a morphism of schemes of finite type over the field \\(\\mathbb Q_p\\) of \\(p\\)-adic numbers (\\(p\\) a prime), then for every semi-algebraic subset \\(A\\) of \\(X(\\mathbb Q_p)\\) the image \\(f(A)\\) is also a semi-algebraic subset of \\(Y(\\mathbb Q_p)\\). NEWLINENEWLINEThis is the statement proved in this paper. To do that, the author uses a version of monomialization that follows directly from the Weak Toroidalization Theorem of \\textit{D. Abramovich} and \\textit{K. Karu} [Invent. Math. 139, No. 2, 241--273 (2000; Zbl 0958.14006)], actually from an extension of this result to non-closed fields obtained by the author himself just with \\textit{D. Abramovich} and \\textit{K. Karu} [Manuscr. Math. 142, No. 1-2, 257--271 (2013; Zbl 1279.14020)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2839340$7CCB7E84-19A1-4F3A-ADE8-F8AB50CE968A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5b44ab2ab89d6b11aa6f7da0ef60936cfd52cfe4","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2839340$A289B7BC-0A58-4437-AB42-947008E69FD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aafbf126845d09c3f4e2ab703ddb5aaaea501a0","datavalue":{"value":{"entity-type":"item","numeric-id":3708875,"id":"Q3708875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b0336c815b498d6e3f765e13a2570ef16565a65","datavalue":{"value":{"amount":"+0.8083723783493042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2839340$72A665FD-EB77-4AE2-BA3E-D7BB2DE46B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683b9db099596f3de911208ac3320434f45e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":3140552,"id":"Q3140552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ca0824332f2165e01486ec962b0a4c69bc0e1c","datavalue":{"value":{"amount":"+0.7894262671470642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2839340$A1E3F6C2-4B7A-445D-AE14-E9193571C942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c7e2841cf338ad0ffb6c587a2d4f235f68a048","datavalue":{"value":{"entity-type":"item","numeric-id":1109764,"id":"Q1109764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dabe821c12664480c2e4132ab7a381f2ae58b6","datavalue":{"value":{"amount":"+0.7873920202255249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2839340$6DF5471B-DCEE-4D2D-BB72-E7936034D920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fc7fee8dce35971cc6e9be8b9fc1db050c0b79","datavalue":{"value":{"entity-type":"item","numeric-id":3033745,"id":"Q3033745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8aee50d025cf92cb09e5c996046221fe2a0d109","datavalue":{"value":{"amount":"+0.7738329768180847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2839340$A1098237-CBA0-469A-9489-B681B234399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bde0bb4f84d8f10489aa7bf0943873e0b02868","datavalue":{"value":{"entity-type":"item","numeric-id":2758074,"id":"Q2758074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9321908b935eaa96510b40efaf162604815994a","datavalue":{"value":{"amount":"+0.7477754354476929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2839340$A40DA53D-2FF6-4A5A-9B43-ADF8F4DDBACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monomialization of morphisms and \\(p\\)-adic quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monomialization_of_morphisms_and_%5C(p%5C)-adic_quantifier_elimination"}}}}}