{"entities":{"Q1759771":{"pageid":1770513,"ns":120,"title":"Item:Q1759771","lastrevid":43311533,"modified":"2025-07-24T14:51:29Z","type":"item","id":"Q1759771","labels":{"en":{"language":"en","value":"Quantifier elimination in pairs of algebraically closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109766"}},"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":"Q1759771$94285417-A106-44F4-9DF4-6F6C70A9B39A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de4e91870a066c8abeac84291cb7b2490f55efc0","datavalue":{"value":{"text":"Quantifier elimination in pairs of algebraically closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1759771$7ECBCC47-3358-419D-B1B8-6B03BEAE733F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f171aa39accc1614c8f23a16cb9a97a1e38a89","datavalue":{"value":"1267.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$13284791-6FC2-4026-9C23-02C9444CB073","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c27733d40d71613d4a292a91740d813c6236d0","datavalue":{"value":"10.1142/S179374421250003X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$5F764999-5162-46B2-87D6-12102749A825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be461717149561b489ca387b7f46bd833e8e533","datavalue":{"value":{"entity-type":"item","numeric-id":194508,"id":"Q194508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759771$2C51CAEC-13F3-474C-9541-DA7AEAE4819F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e156f5e85ca91ce21d0269f2a0c8ec801f8412d","datavalue":{"value":{"entity-type":"item","numeric-id":418691,"id":"Q418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759771$F0AE776A-BF46-4C5F-A1EB-18F217A95B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1759771$00124130-7BAA-4847-85D7-3BB1D67D80D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"965d099a2ff118baf8be55ed4792e1739ccce6bc","datavalue":{"value":"The author gives a natural and simple language, call it \\(L^f\\), for quantifier elimination in proper pairs of fields \\((K,L)\\), \\(K\\subsetneq L\\), specifically algebraically closed fields. The language \\(L^f\\) is obtained from the language of pairs of rings by adding predicates for linear disjointness over the small field, and new functions giving the linear components over the small field of the first variable with respect to the other variables. Previous languages for quantifier elimination did not use new functions. The other main result is: Dense proper pairs of algebraically closed valued fields eliminate quantifiers in the language \\(L^f\\) augmented with the divisibility predicate \\(x\\mid y\\) iff the valuation of \\(x\\) is at most the valuation of \\(y\\). There is also a simple description of definable closures. The author used these results in a previous paper [Ann. Fac. Sci. Toulouse, Math. (6) 21, No. 2, 413--434 (2012; Zbl 1283.12001)] to find some \\(C\\)-minimal expansions of algebraically closed valued fields which are not definably complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$D6A33285-F3F9-4870-8E0C-A48ED5942CF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a2118c292dc08a002b8680010ffeab026feb65b","datavalue":{"value":{"entity-type":"item","numeric-id":292504,"id":"Q292504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1759771$4FA9F342-0BEB-4B37-B5F8-5089B37E6ACB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$C0D5B925-6697-44C0-9437-1DC6ED19F141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$A81BB89C-977A-452B-ADAF-B2B063780BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$97ADED6C-9682-4343-9E13-6D8BB0461124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$E56AC756-B119-4E47-9F1D-4A4CC0EC85E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a654236a8f79a31f8b63a92f9d09b104f2e30a18","datavalue":{"value":"6109766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1759771$E2F51535-FCD9-4A16-A8BD-9F17437D0E99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$0E91BF33-A5FA-4B46-B2D7-0BCEE89C38A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a946c8f052f7e963530d21a8a39f73ffe053d037","datavalue":{"value":"model theory of fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$F0566C34-64AC-4413-897D-7005FAD9CDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65fd9211c766fa2507a4ba018edfb6ba7e1052d3","datavalue":{"value":"pairs of fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$4C0F35D7-5D76-49D6-BCE1-022080D275A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbadda8b70b40c9f48d602089372cf2bdbde2868","datavalue":{"value":"algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$62F6B4CD-5C5C-4F18-B09A-55D115607228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c2b3832a29251078a4e66df68e78f164a514aba","datavalue":{"value":"algebraically closed valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1759771$95BB9FA1-AF04-4917-A26B-CDD3B435F6ED","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":"Q1759771$8750C648-D763-4D9D-ACC6-BFDF85607A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4239c089ac0408418931dea7f4c5b2656f76029","datavalue":{"value":{"entity-type":"item","numeric-id":4842632,"id":"Q4842632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9289573ca7bd0f8e4d096ba782fa240a36bd74ed","datavalue":{"value":{"amount":"+0.9723822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$4FB539CA-D493-4444-A282-E12AC47CE882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cf70fc4006165321afe8c3a2017afd3e9646ebb","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9779a0bc819c4470eef10bd645596db00e23e227","datavalue":{"value":{"amount":"+0.9637628","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$8C32ED61-88F9-42EE-9AAD-630E6013CDB5","rank":"normal"},{"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":"8ad773667ad32ca5c699c6bc0991ec7efe281213","datavalue":{"value":{"amount":"+0.9525205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$AAEE8A27-EDF9-4003-8255-F9CFECD799B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686aaa78b10eac109d03b65fb2e69c89ccb13264","datavalue":{"value":{"amount":"+0.94469714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$15DC0B24-2C6C-4285-A2EA-F5C315464356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8078124aaf87f586f663af579195c08bd2b0641","datavalue":{"value":{"entity-type":"item","numeric-id":4135500,"id":"Q4135500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee623bf127c72fd14f962a26d04d1b607d62c80e","datavalue":{"value":{"amount":"+0.9428949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$64848DFD-4AFA-4151-8DCB-3BFEA6478C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f2ac99b05c3d8aaee7701bc0b958d779d8f61e","datavalue":{"value":{"amount":"+0.9400685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$D16D1AD2-53C4-4A0E-BB22-38205F5CC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34083bf80f91d2a4ce732ee0214fabe58013c233","datavalue":{"value":{"amount":"+0.93718493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$653CE515-10E0-46F5-BB13-0919940DFF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f55b5b0d1c77b5520369764be7bb63e99e0fc69","datavalue":{"value":{"entity-type":"item","numeric-id":5293194,"id":"Q5293194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b313d7edabd230ac962ffb6201f6221a9e5b08","datavalue":{"value":{"amount":"+0.9317774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$4639008F-75DC-42F8-BD4A-1CEA4704254A","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":"9efe70bf809e1b856573b82bcaea3e58991a50b4","datavalue":{"value":{"amount":"+0.93142664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$FBED3063-5C13-4D49-A681-1ED91A160EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5725ff76b198ce82bc6463ae3847c3bd121102","datavalue":{"value":{"entity-type":"item","numeric-id":3804677,"id":"Q3804677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7009fd245b10426546bc8870707351a8ca21d7b4","datavalue":{"value":{"amount":"+0.92973256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1759771$33C6D163-8F92-4591-A914-04832608A25E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1759771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1759771"}}}}}