{"entities":{"Q584334":{"pageid":586101,"ns":120,"title":"Item:Q584334","lastrevid":62949720,"modified":"2026-04-11T09:11:33Z","type":"item","id":"Q584334","labels":{"en":{"language":"en","value":"\\(p\\)-adic and real subanalytic sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134209"}},"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":"Q584334$EA12DDC0-9AB4-49AF-99E8-416C218A3915","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7724f72cf2315354bc2c1681facde69ea8af618","datavalue":{"value":{"text":"\\(p\\)-adic and real subanalytic sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584334$958862E9-53F2-4511-A400-DDF12BA55CBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e03ef1e2cf46416bd163d43f7b8c9df8fc0829b","datavalue":{"value":"0693.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$2A175718-15CA-46D1-93DD-38E2E93D2525","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22fb4e2de553f51eab55bdcbdbcb0053c3e88988","datavalue":{"value":"10.2307/1971463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$89D95658-E453-407F-9AE5-43F8BE59DFCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584334$D4E4DEAE-D8B8-4299-8256-8B4A58A584F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q584334$4C572BFB-D227-4B1B-8D0C-B9368BFEF030","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4caa297355cc293c8738efaa375fae519477171","datavalue":{"value":"Denote by \\({\\mathbb{Z}}_ p\\{X\\}\\) the ring of restricted power series over \\({\\mathbb{Z}}_ p\\) in the set of variables \\(X_ 1,\\dots,X_ m\\). Let \\(P_ n\\) be the subset of \\({\\mathbb{Q}}_ p^*\\) consisting of \\(n\\)-th powers. A basic subset of \\({\\mathbb{Z}}_ p^ m\\) is a subset of the type \\(B=\\{x\\in {\\mathbb{Z}}_ p^ m;\\quad f(x)=0,\\quad g_ 1(x)\\in P_{n(1)},\\dots,g_ r(x)\\in P_{n(r)}\\}\\) where \\(f,g_ 1,\\dots,g_ r\\in {\\mathbb{Z}}_ p\\{X\\}\\) and n(1),\\dots,n(r) are positive integers. A D-function \\(f:\\quad {\\mathbb{Z}}_ p^ m\\to {\\mathbb{Z}}_ p\\) is a function obtained by composing maps induced by restricted power series and the map \\(D:\\quad {\\mathbb{Z}}_ p^ 2\\to {\\mathbb{Z}}_ p\\) which is defined by \\(D(x,y)=x/y\\) if \\(| x| \\leq | y|\\) and \\(y\\neq 0\\) and \\(D(x,y)=0\\) otherwise. Similarly as basic subsets one defines D-basic subsets. The central result of the paper is the    Elimination theorem: Let \\(\\pi:\\quad {\\mathbb{Z}}_ p^ m\\to {\\mathbb{Z}}_ p^ n\\) for \\(m\\geq n\\) be a projection. Then the image of a basic subset B in \\({\\mathbb{Z}}_ p^ m\\) is D-basic in \\({\\mathbb{Z}}_ p^ n.\\)    A subset S of a \\(p\\)-adic manifold M is called semianalytic if each point x of M admits an open neighborhood U of x such that \\(U\\cap S\\) is a finite union of sets of the type \\(\\{y\\in U;\\quad f(y)=0,\\quad g_ 1(y)\\in P_{n(1)},\\dots,g_ r(y)\\in P_{n(r)}\\}\\) where \\(f,g_ 1,\\dots,g_ r\\) are analytic functions on U and n(1),\\dots,n(r) are positive integers. A subset S of M is called subanalytic if for each point x of M there is an open neighborhood U of x such that \\(U\\cap S\\) is an image of a semianalytic subset \\(S'\\) of \\(U\\times {\\mathbb{Z}}_ p^ m\\) under the projection to U.    Uniformization theorem: Let \\(S\\subset {\\mathbb{Z}}_ p^ m\\) be subanalytic. Then there exists a compact \\(p\\)-adic manifold M of dimension m and an analytic map h: \\(M\\to {\\mathbb{Z}}_ p^ m\\) such that \\(h^{-1}(S)\\) is semianalytic and such that h is a composition of finitely many blowing- ups of closed submanifolds.    As applications of the uniformization theorem the authors obtain the following results:    Rationality of Poincar\u00e9 series: Let \\(S\\subset {\\mathbb{Z}}_ p^ m\\) be subanalytic and denote by N(n,S) the cardinality of the residue classes mod \\(p^ n\\) which admit representatives in S. Then \\(P_ S(T)=\\sum_{n\\in {\\mathbb{N}}}N(n,S)T^ n \\) is rational.    Rationality of \u0141ojasiewicz exponents: Let \\(S\\subset {\\mathbb{Z}}_ p^ m\\) be closed and subanalytic and let f,g: \\(S\\to {\\mathbb{Z}}_ p\\) be functions whose graphs are subanalytic such that \\(| f|,| g|: S\\to {\\mathbb{R}}\\) are continuous. Suppose that \\(g^{-1}(0)\\subset f^{-1}(0)\\). For \\(\\alpha >0\\) consider the property  \\[  P(\\alpha):\\quad | f(x)|^{\\alpha}\\leq c| g(x)| \\quad for\\quad some\\quad c\\in {\\mathbb{R}}\\quad and\\quad all\\quad x\\in S.  \\]  Then there exists some \\(\\alpha >0\\) such that P(\\(\\alpha)\\) is satisfied. Let \\(\\alpha_ 0\\) be the infimum over all \\(\\alpha >0\\) such that P(\\(\\alpha)\\) is satisfied. Then \\(\\alpha_ 0\\) is a rational number and if \\(\\alpha_ 0>0\\) then \\(P(\\alpha_ 0)\\) is satisfied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$F5DCC78F-5B15-4FD7-A0F6-65E27352306D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$88E15549-E92F-4DC3-8B12-B2EBFDF49F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$FA5FAF36-7B67-4249-8CF9-ABDF2B6B9C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9416d1cbde8928d175c199a81e6685c4f833e987","datavalue":{"value":"4134209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$4EB3E867-D867-4A6A-9957-0A7309D94FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69c35944c3d82a567d8f4d761a2cdca27c5ab3d","datavalue":{"value":"D-basic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$AE531719-8F86-46F5-9641-237231D97347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288a2bfc47e7284aba969e7dc918a7146332af77","datavalue":{"value":"Elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$AEDB24E2-131D-499E-9393-529F11303381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c74940a8060be49cf5df1f9455b2c8e77f3f4e","datavalue":{"value":"Uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$512F4523-C4EC-4D2A-ABEF-C59A512CC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0482a20110778de52478aeeb6da7b82687c77334","datavalue":{"value":"Rationality of Poincar\u00e9 series","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$7186668D-81BE-4BFB-93D2-0CDB178CD5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568c7a00c2e8b7715d5a30269e459bd05c891871","datavalue":{"value":"Rationality of \u0141ojasiewicz exponents","type":"string"},"datatype":"string"},"type":"statement","id":"Q584334$6EAB8288-0B98-473E-A8F2-3F713D64EFE0","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":"Q584334$81C06252-D9F0-4944-9466-F4CF97F836F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584334$9FEA17D2-FF59-415A-9715-708DE4D80651","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26c317c0ea9df40a3169ace612bf5c10cea423f9","datavalue":{"value":{"entity-type":"item","numeric-id":752914,"id":"Q752914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584334$0AD47D9A-BD61-4025-A324-344C8EBEC04F","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":"Q584334$C6AC2916-A3BA-4BD3-B2F7-6186AF2DFADD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bc1e5893f6e12f702dd114fad88f747c247b690","datavalue":{"value":"https://doi.org/10.2307/1971463","type":"string"},"datatype":"url"},"type":"statement","id":"Q584334$F625D7F8-BCA8-4F7A-835B-3F608B030967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3baa799e8215283025d7cf3d6fb2ac824eb05536","datavalue":{"value":"W2314912482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$2F8A44C4-0F18-46DC-B7CA-E5979522947D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"479184497212703d817f5b11f82426959e2b20e1","datavalue":{"value":"Q59486601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584334$772FA48F-D2C5-4424-8733-9912227173F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638d0362673613eee9328cc73c3977e6bc2fccaf","datavalue":{"value":{"entity-type":"item","numeric-id":4265419,"id":"Q4265419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce93e20b9ea9140dfc3039bb294002839975de12","datavalue":{"value":{"amount":"+0.871803879737854","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":"Q584334$58C952F8-2347-4398-816F-46523C9855B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9114749f0e1a99b65fb17a156909df53b69ce26f","datavalue":{"value":{"entity-type":"item","numeric-id":4698278,"id":"Q4698278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684ec7d134d4de26cbb2a3667c9e2db3d74cf89b","datavalue":{"value":{"amount":"+0.8704879283905029","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":"Q584334$119CC5A0-2293-4B50-AA9A-5C73E3092D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4632b226d423cab2621143e05c13b0a279a4aae","datavalue":{"value":{"entity-type":"item","numeric-id":4731268,"id":"Q4731268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d64d8c5b09e1b77870c78eb55676d9bf0b421f8","datavalue":{"value":{"amount":"+0.8520267605781555","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":"Q584334$956CA932-FE5D-463A-9A0E-64A42C524FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ca5f24305d7eb45c7f22075335ed824c192a54","datavalue":{"value":{"entity-type":"item","numeric-id":5286447,"id":"Q5286447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d609010e3fcbc30de9efac62f69bd3fd1369595","datavalue":{"value":{"amount":"+0.8441988825798035","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":"Q584334$1DEF8E9A-3760-47E8-9923-4E8EAE9DCF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fdce65f3e77f4998bc204f2ac87d253829f18c","datavalue":{"value":{"entity-type":"item","numeric-id":5288342,"id":"Q5288342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a711b3e4db2c1be58d89bf583f431e041194eda","datavalue":{"value":{"amount":"+0.8413137793540955","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":"Q584334$24E2A34D-0950-4924-BA77-5D8F236E8342","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(p\\)-adic and real subanalytic sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(p%5C)-adic_and_real_subanalytic_sets"}}}}}