{"entities":{"Q753869":{"pageid":755718,"ns":120,"title":"Item:Q753869","lastrevid":64079442,"modified":"2026-04-11T17:30:17Z","type":"item","id":"Q753869","labels":{"en":{"language":"en","value":"Decidable theories of pseudo-\\(p\\)-adic closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181475"}},"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":"Q753869$04A13749-861C-4225-AC3C-0FF42E162FD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edfb12d6214f324077ec363c093c6aa807cd0465","datavalue":{"value":{"text":"Decidable theories of pseudo-\\(p\\)-adic closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753869$080B999C-B066-41A0-9042-785D02ADE623","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f7fada8d3c34d29a64a472cc006c050601c7862","datavalue":{"value":"0717.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$1F68AE63-3480-48A5-98EC-870851FCCED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e4c90240bac4d2dcb308dc576ad83d646a000a3","datavalue":{"value":"10.1007/BF01980234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$04D031E1-9F70-48EF-ADC6-C7E88E6315DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3a038bdc844aec56694d04eaf490a3f4719e52","datavalue":{"value":{"entity-type":"item","numeric-id":753868,"id":"Q753868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$AC3D60BE-A806-4D03-9767-40D1F5E78833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$565F066E-6C30-4AA5-B6B3-D6FAF3DF929C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q753869$8FBC6821-9750-41C4-A09D-5C77B19C826B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb67fdc824be1324e56f0a6676209d90bd1473b6","datavalue":{"value":"Let \\(K\\) a field and \\(\\Gamma\\) an ordered Abelian group. A valuation \\(\\phi: K\\to \\Gamma \\cup \\{\\infty \\}\\) is called \\(p\\)-valuation if \\(\\text{char}(K)=0\\), \\(\\phi(p)\\) is the least element of \\(\\Gamma\\) greater than zero, and the residue class field is the \\(p\\)-element field. A field \\(K\\) is called P\\(p\\)C-field if \\(\\text{char}(K)=0\\) and \\(K\\) is existentially closed in every regular totally \\(p\\)-adic extension of \\(K\\). We recall that the theory of the class of P\\(p\\)C-fields is undecidable. The author proves that the theory of maximal P\\(p\\)C-fields and the theories of the classes of P\\(p\\)C-fields with finitely generated absolute Galois groups are decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$B5DCAAF7-6B7D-4B92-AF6E-25549D7D43E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$93B2EBBC-86A4-487B-8C1C-283186B520CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$770CB93D-B2C0-4785-B6C3-40C0EED5CE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$59D4E24D-1E4E-44BF-A401-4990E4F15793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6803d36e2d91b42fbf500244882ed2b846f44e7","datavalue":{"value":"4181475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$205A0E52-8AEE-4E26-90B5-266BC3B3897C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$B8EA325D-D05D-4D6F-91C9-62131428DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a611aa27575d833922b17aad66d0670e744bbdf9","datavalue":{"value":"pseudo p-adic closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$5CB4F973-2F27-48A8-9787-2E63F4B11297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$8ACC5598-7C7F-4D6C-A507-C886020067E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59acd511fbb8b915dcb0fe5d7517bde19b6e8f29","datavalue":{"value":"PpC-field","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$A8DEF9E7-CF09-4DC7-9330-3B350E8D7CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0057a62436d1a88f0ccac71585a852ff67556f11","datavalue":{"value":"maximal PpC-fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$E586D4F8-CA0C-4F8D-9DD0-8507B834F834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f72695761c67d39aa7b4b1fa5b3ad3bb78d6ab3c","datavalue":{"value":"Galois groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q753869$B1983BA3-DF9B-4CB7-A574-AD603D872DBB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$285678A2-9EC9-4402-AECF-F79084DDC33E","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":"Q753869$BDA4DB16-9E29-41E7-A6FB-1F055472E099","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40dbdc7525032defad96b289533123bc9954309b","datavalue":{"value":{"entity-type":"item","numeric-id":3919685,"id":"Q3919685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$78732FFA-C087-40E1-9DA5-66A2CD5AC474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30450b543667f0cf3fb93311ef3686da4559990","datavalue":{"value":{"entity-type":"item","numeric-id":3659877,"id":"Q3659877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$FEEC1465-060C-4BD0-A7E4-26CF64E3B25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8aa31fd39d758ac11ee1540fbe759e0378982f","datavalue":{"value":{"entity-type":"item","numeric-id":582327,"id":"Q582327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$F04BECEC-8C02-461C-8EF1-610E169A35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cd51424948f740339ca5cf7b07a481aa002334","datavalue":{"value":{"entity-type":"item","numeric-id":4281996,"id":"Q4281996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$B42A54AA-65AD-4C1C-BADB-46FF93CB0823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc87e5ff89ff7eff93e3bae173aada0cdf0d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3797287,"id":"Q3797287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$6D780F3C-5613-4803-BC4B-3E3C18DB10A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c8aa3276c6af239b9049f73c2549aff6829bcd","datavalue":{"value":{"entity-type":"item","numeric-id":1220977,"id":"Q1220977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753869$FCA74233-D7F9-4966-819C-67FAE773B612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a40bb0d793f755875d8488e01783ce584e9a5c16","datavalue":{"value":"https://doi.org/10.1007/bf01980234","type":"string"},"datatype":"url"},"type":"statement","id":"Q753869$B32D201D-ABFB-4700-8E67-219E8A070DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d5044be901a2f2226df607ed98a7c5c8edc67de","datavalue":{"value":"W2018922609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753869$757C0039-A565-4E75-BECE-8F0FFBC366E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4faba265baee61079160fd0ad674439d31d446d","datavalue":{"value":{"entity-type":"item","numeric-id":2277025,"id":"Q2277025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f8b67f203b7b5f6a2e813034deeeedcd5cf3b2","datavalue":{"value":{"amount":"+0.9100735783576964","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":"Q753869$02231D5A-DEFC-427A-9393-4C0F9744BF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898d3a7f63f2de7158357ed6c073b8323768d3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3349006,"id":"Q3349006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584142aa1d0b88ee765c9d001de6e2f131502e69","datavalue":{"value":{"amount":"+0.8815538883209229","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":"Q753869$26FCC007-52B8-4776-9F1F-991E56E2746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5528d58bf34e53e2dae6e16efcacd8225f3131","datavalue":{"value":{"entity-type":"item","numeric-id":4027073,"id":"Q4027073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a0c0681b3588b48ee837f8abf6877546bdc9c3","datavalue":{"value":{"amount":"+0.8524305820465088","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":"Q753869$C158A09E-D378-4DB9-BB30-949D850EE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bded2b9977067ea3acff50dcfb5bfe2f28f3188","datavalue":{"value":{"entity-type":"item","numeric-id":3971900,"id":"Q3971900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9ea020e4e0ede41fa38059792294d70d0dbfce","datavalue":{"value":{"amount":"+0.8521870970726013","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":"Q753869$ED49324B-96A9-4BBE-A68A-68C52FB8FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2b4bcbda1ecb8d98d92befb13051c3003cb5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3984425,"id":"Q3984425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49a8d299041865ef95d9a410adc4eac472f5682","datavalue":{"value":{"amount":"+0.8509327173233032","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":"Q753869$D9A6C572-58D2-4781-B47C-B2D5E1C5AC81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable theories of pseudo-\\(p\\)-adic closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_theories_of_pseudo-%5C(p%5C)-adic_closed_fields"}}}}}