{"entities":{"Q1109764":{"pageid":1120513,"ns":120,"title":"Item:Q1109764","lastrevid":49211605,"modified":"2026-01-06T18:51:23Z","type":"item","id":"Q1109764","labels":{"en":{"language":"en","value":"Substructures and uniform elimination for p-adic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070875"}},"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":"Q1109764$9ADB21D6-4B9F-451D-B746-D20E2ED8D965","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1085ea1d44d43d2a04ba3bcb2e779a0be58c842d","datavalue":{"value":{"text":"Substructures and uniform elimination for p-adic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109764$B5D9023D-B9BA-4DF1-A0EE-9A0834C44CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"400017d779ca953c3c0dfc443deb0ec4f1f56144","datavalue":{"value":"0656.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$762CA36F-E1CC-4F75-B562-5A80E6AB0D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fec3def0d5aa4f97c408b0664814a24ce669246","datavalue":{"value":"10.1016/0168-0072(88)90043-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$4CA4A340-0B07-4A75-8D4F-8674614B5C09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7252ae0b773d531ab2aa552e15259b4a28a982a8","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$AF07E134-6852-45BF-BE26-0CDDBE114E6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$CD83B51E-BC84-49BE-92A0-0F61FC338C01","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":"Q1109764$BD136A74-C08B-4896-9350-BC845FD1A45C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af69ad058f589d88c620f2a6404d6960e6ae05b0","datavalue":{"value":"http://archipel.uqam.ca/11603/1/APAL_1988_LB.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109764$D5BEC1AB-7CDD-4E38-9CC7-F0233A5465CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c99d7e1b0d12dbaff31ed127e1c179c3189f090e","datavalue":{"value":"Let p be a prime. The theory \\(pCF_ d\\) of p-adically closed fields of p- rank d was introduced by \\textit{A. Prestel} and \\textit{P. Roquette} [Formally p-adic fields (1984; Zbl 0523.12016)] to study the model theory of finite extension fields (of a given degree d) of the field \\({\\mathbb{Q}}_ p\\) of p- adic numbers. Among other things, they generalize \\textit{A. Macintyre}'s [J. Symb. Logic. 41, 605-610 (1976; Zbl 0362.02046)] elimination theorem for pCF \\((d=1)\\) but with the addition of constants \\(c_ 1,...,c_ d\\) such that the \\(c_ i\\) yield a basis for the valuation ring modulo p as a vector space over \\({\\mathbb{F}}_ p\\). A primitive recursive procedure for this elimination has been given by \\textit{V. Weispfenning} [Lect. Notes Math. 1103, 419-472 (1984; Zbl 0584.03022)] and by \\textit{J. Denef} [J. Reine Angew. Math. 369, 154-166 (1986; Zbl 0584.12015)]. For a counterexample to see that Macintyre's language alone doesn't suffice in general for \\(d>1\\) see \\textit{E. Robinson}'s paper [J. Algebra 110, 158-172 (1987; Zbl 0623.12009)].    The results of this paper consist of an explicit axiomatization for the universal part of \\(pCF_ d\\) in the Macintyre-Prestel-Roquette language and a model-theoretic proof of an elimination theorem for \\(Th(\\{{\\mathbb{Q}}_ p:\\) p prime\\(\\})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109764$38743C37-3D30-4354-B1E8-8766D1C4B61F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$D2A34192-1980-44F2-BA29-0C8E52A08CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$3FE7AA9F-2822-4CBC-9B0D-AEBDAA1CE5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$0EBC9951-2CEB-4A82-8488-25B4110858F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d070c0f2a99928c47aef3fbb93bcd97c70ef3e7","datavalue":{"value":"11S99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$5CED4636-FBC6-48A8-91B8-4CF1A82FFC0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f309c616bc41230d912e515433bb5982ba6bfd4","datavalue":{"value":"4070875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$A2C02F71-6C68-44FD-A5B9-2BDA07533311","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9571e187827d84d0981070ae0a7bc3e5f67a34b2","datavalue":{"value":"model theory of finite extension fields of the field of p-adic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109764$3DC4465A-C581-4B7A-B3D3-6AF29250BE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d29a75b100be0e15c2a418722b5973146b8da89","datavalue":{"value":"p-adically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109764$2FF46AD5-6A6F-427A-A749-35EF00F565CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109764$FF3524EB-D963-4302-B0AD-EC0535BB411B","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":"Q1109764$90F079CF-54AA-46F3-85B7-0AEA3C0188F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7acbd7240871b7868374e695416a86640bbcf887","datavalue":{"value":"W2090495484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109764$5190810A-E32A-455F-A4FC-B9614BE1C77B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$0AD50157-3611-47EA-9D42-92E146543818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bfabe0da934b9f2747c8912825d753400d97f6","datavalue":{"value":{"entity-type":"item","numeric-id":3758017,"id":"Q3758017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$163CF44B-D79C-456F-8AE8-E124B9C530B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504649048f5a3314fd04a223f960d952b1d01067","datavalue":{"value":{"entity-type":"item","numeric-id":3033745,"id":"Q3033745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$62AD669F-0617-43A0-840D-BCF000DC8A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df1425aec3d1b7801763706b63490074e4df0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4722187,"id":"Q4722187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$AEC03636-DDF6-4149-BC17-84CCF5FC1F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b9d4daf9ed51719dfcf5b2746041fa53d01df","datavalue":{"value":{"entity-type":"item","numeric-id":4163515,"id":"Q4163515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$FD2A73ED-ED1D-48D2-89D8-F2C7717C2592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$859B81C8-792E-4445-9F1C-F2F36D4B3898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9c86efe0474de343ff25696e7dc02f7a879d3","datavalue":{"value":{"entity-type":"item","numeric-id":4105665,"id":"Q4105665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$3F8407CE-A30C-435D-8404-40B84608049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$4EB37425-EFC4-42BE-9E42-5F5C5AA40B55","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":"Q1109764$1A22EAE5-E509-491C-95FD-EFCF1B33A4DA","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":"Q1109764$6AE325DE-64C6-46F0-8537-744BD3722DFF","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":"Q1109764$74E0513D-6212-4C5C-A62B-BEE3FD9A3BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c0b685389a8438f7f005ba501bef03f0b75b0","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$6B3C88E0-40D8-41DA-9DAE-933388B8F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d486f05a277412207934229365779d1ce63fb95","datavalue":{"value":{"entity-type":"item","numeric-id":1245823,"id":"Q1245823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$43F6B4D2-4676-40CC-98E2-38A870B060A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462eb35afa323adad467e773858f35c6dbf3387e","datavalue":{"value":{"entity-type":"item","numeric-id":4149758,"id":"Q4149758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$E7C02EEE-45AC-4CA5-96EE-DDC5F0D46FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875a593c80052309d5030ceafaf991fc4dbdc309","datavalue":{"value":{"entity-type":"item","numeric-id":4081371,"id":"Q4081371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$51C0FEDB-AF03-4A55-B1A8-0276DB393FBF","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":"Q1109764$A8527AE2-11C8-4D7F-8585-9227E035B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d15125fefd60c38024a9f4815dfca44adfa2336","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$D64826F4-D405-4156-9DA4-A88C014E7685","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":"Q1109764$92832353-EE27-456F-8DDB-66AADF46383D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2049d2596070daa443ccb1525bdbbb3cb71743c","datavalue":{"value":{"entity-type":"item","numeric-id":1071859,"id":"Q1071859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$07D45ADC-C706-4EE5-89C9-F03DF1191CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabc080d48c1b3c4e6ae77a73c2da7ecd1c15122","datavalue":{"value":{"entity-type":"item","numeric-id":1091428,"id":"Q1091428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109764$03618FA3-22E3-4116-9636-B6274F9CF811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9152274a309eda375bd6e6cd7d741e651dfe919e","datavalue":{"value":{"entity-type":"item","numeric-id":4338310,"id":"Q4338310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce336552ee97fc525afdd78b8c7fce7cdaf19b0","datavalue":{"value":{"amount":"+0.7759769558906555","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":"Q1109764$8CC81FDC-5B46-4231-809C-1AB45E6F6472","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":"5ce336552ee97fc525afdd78b8c7fce7cdaf19b0","datavalue":{"value":{"amount":"+0.7759769558906555","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":"Q1109764$147CD2BD-32A0-4411-A13F-11C4E251FDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893455bd16ba8161e94585e98735633fd4184ede","datavalue":{"value":{"entity-type":"item","numeric-id":4931091,"id":"Q4931091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d2cafddd83fe9066dd44a48b26419a41a7b98ea","datavalue":{"value":{"amount":"+0.7685078978538513","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":"Q1109764$D61D82E4-168A-495B-9003-A621B92B196D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c78f1b33b0bdae09df12ea723c261918fe0edb","datavalue":{"value":{"entity-type":"item","numeric-id":1091428,"id":"Q1091428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c282b45b1b40a6b3c3406ba9beb6f78da9bfbd55","datavalue":{"value":{"amount":"+0.766884446144104","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":"Q1109764$25157C64-4EAF-4B6E-9425-77BAEEBCDFCF","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":"0975fa22a5ba75d0e70dba281419a6c5bb57c3b3","datavalue":{"value":{"amount":"+0.7656985521316528","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":"Q1109764$C588F49D-65E4-4E23-B8A6-279E07EE2048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1109764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1109764"}}}}}