{"entities":{"Q2758074":{"pageid":2768813,"ns":120,"title":"Item:Q2758074","lastrevid":83137157,"modified":"2026-05-07T06:16:12Z","type":"item","id":"Q2758074","labels":{"en":{"language":"en","value":"Quantifier elimination in tame infinite \\(p\\)-adic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679346"}},"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":"Q2758074$32783AEF-1F55-4335-AF79-33264993033A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fc2f8f2fa62203748c04cbbdbb3943b09350e0b","datavalue":{"value":"0993.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$B2A3B9A0-6B00-49CC-807F-573A995C2F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9065b5ead3f16420b6f4521c3d5d5c50358ac6fe","datavalue":{"value":"10.2307/2695121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$CE2E3DD3-64D2-4C1B-A891-D13FAF0C241A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e2517076ed76f84b288f509379491c06e505c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2758073,"id":"Q2758073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758074$5AE7494D-4241-40F2-9FFF-74B648109997","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f8c686acf111f5870bb8b8a79eaa7f4f60ee12e","datavalue":{"value":{"time":"+2002-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758074$B2983F47-DC60-4732-B101-B0A8F1C9CEA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$713C0EB1-AB09-47C7-B78C-271BC78AC7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$F77D99ED-90C4-4420-BEC9-94CB0C9B6306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$0B2EDC2A-EEA8-41B5-8FD5-D8779646622A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$AEFBDA82-4432-4CB2-B34E-2C61D31F5ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47598dcfc3eb9b91ff2f23fc17d56d3dfd9e8a21","datavalue":{"value":"1679346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$DAE8E977-DC78-4664-8378-E7ECA07D5C74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea8854527e7b2c30be8997a744f09963482e83ab","datavalue":{"value":"tame field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758074$61293D2A-D5AA-44D0-A44E-82009C79100B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758074$B524C1D3-A1E1-4960-9666-2D21536F2051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758074$D84CD378-3E8D-485C-8DF0-15BF8308C188","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f2d10dc33564894f46e7fcc58e9eb7a4475d68c","datavalue":{"value":"Q58006946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$04E3314F-F9A2-49B1-93BE-D15EA8550815","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":"Q2758074$B97F286B-1480-4CDD-AFC3-4721850C6D60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71c93cb53669e59448cdaf84902d964bd25b606b","datavalue":{"value":"https://doi.org/10.2307/2695121","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758074$9341F8D5-913E-4E88-A526-F18449A1F9CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c331befc0d22f59b5046c9346f63958f6f826160","datavalue":{"value":"W2092755979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758074$816D0D7D-012E-4146-AEC2-AF43ED57FFAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b1e7fc6bd3a08ef0000edb36cbc1da79668674","datavalue":{"value":{"entity-type":"item","numeric-id":1076077,"id":"Q1076077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758074$15E8421B-2A35-4D1A-B08E-0C455C207E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50aaf84f234a831437cffb283d283e8c7310ecd4","datavalue":{"value":{"entity-type":"item","numeric-id":1056794,"id":"Q1056794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758074$70D07219-0F77-4267-B210-559A30CE8BD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e6fc229a22ef8b1607e37dc7b4e503663398580","datavalue":{"value":{"text":"Quantifier elimination in tame infinite \\(p\\)-adic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758074$57674D6F-211F-42C1-A901-CDCF111C36FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758074$A7D74073-C327-448E-9F0D-F4CB2370F91E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d07b1171be9406b8f35a3ba5bd4cac90a1b5492","datavalue":{"value":"Given an infinite algebraic extension \\(K\\) of \\({\\mathbb Q}_p\\) which is tame, i.e., \\(K\\) has only tamely ramified algebraic extensions, such that the residue field \\(\\overline K\\) satisfies Kaplansky's condition, i.e., \\(\\overline K\\) does not admit finite extensions of \\(p\\)-divisible degree, the author proves that the theory of \\(K\\) admits quantifier elimination in the language of valued fields enlarged by the power predicates \\(P_n\\) introduced by \\textit{A. J. Macintyre} [J. Symb. Log. 41, 605-610 (1976; Zbl 0362.02046)], and further specific predicates and constants for \\(\\overline K\\). In particular, if \\(\\overline K\\) is algebraically closed, then an enlargement by the predicates \\(P_n\\) is sufficient. Notice that a more general result on the relative elimination of quantifiers for Henselian fields of characteristic \\(0\\) was obtained earlier by the reviewer [Ann. Pure Appl. Log. 53, 51-74 (1991; Zbl 0734.03021)], extended later by \\textit{F.-V. Kuhlmann} [Isr. J. Math. 85, 277-306 (1994; Zbl 0809.03028)]. It could be useful to try to recover the main result of the paper under review from the more general one mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758074$B2999E16-D326-4837-91B5-CF4955F23056","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3311c476ff97a482b62491729bed0b56f3ca41e1","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758074$15C058EA-123F-4336-9A54-795E5ADFCA21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1b4f260b192073e63a2ef5a284717431db5d53","datavalue":{"value":{"entity-type":"item","numeric-id":2084961,"id":"Q2084961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462bd20cdcbdb3323a3a11c4d273c3db46de513d","datavalue":{"value":{"amount":"+0.8123016357421875","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":"Q2758074$BE51D6F3-9E6E-4380-9698-140E2455EFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669a3b5f24a32c5b66871d83dba9a8bf2a8955ec","datavalue":{"value":{"entity-type":"item","numeric-id":810501,"id":"Q810501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b732d876de4dd55fb537e7ad81dd418d376a8d10","datavalue":{"value":{"amount":"+0.8009297847747803","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":"Q2758074$3D3BD0F1-34FB-44E7-966E-97DDC60A62B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0284ba004604444b3a49f1676672888ad1d565c","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb5d8838f7036cf6706f6f434ddf827d4e16e02","datavalue":{"value":{"amount":"+0.7970008254051208","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":"Q2758074$5D34B0BC-1E97-42A2-A836-D565ED2349CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86caeb0b70d2331b79d08b9f8b76e08891c2b90a","datavalue":{"value":{"entity-type":"item","numeric-id":2976369,"id":"Q2976369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767786ac22923ec2851b841e65f72128ce90127a","datavalue":{"value":{"amount":"+0.7882010340690613","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":"Q2758074$5B6947AE-A3C9-4B2F-9242-6237BE3CA768","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":"df06e1a6e769f9d3a95678f94917db84bea84117","datavalue":{"value":{"amount":"+0.7843717336654663","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":"Q2758074$5DD9D772-8E07-44DD-AA89-A49905438D5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination in tame infinite \\(p\\)-adic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_in_tame_infinite_%5C(p%5C)-adic_fields"}}}}}