{"entities":{"Q2277025":{"pageid":2287768,"ns":120,"title":"Item:Q2277025","lastrevid":71740293,"modified":"2026-04-14T00:14:07Z","type":"item","id":"Q2277025","labels":{"en":{"language":"en","value":"Undecidability of pseudo \\(p\\)-adically closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193841"}},"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":"Q2277025$26734DFA-39F8-44B6-8EDB-FE24ED29B44A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e26b245f4ffce79d0586f9b1891b5a7197e435c","datavalue":{"value":{"text":"Undecidability of pseudo \\(p\\)-adically closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277025$5D3ABC62-E917-434F-AA34-03207515A44F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312b7917d6ccce835a7ed1dc9f22fd532402d40a","datavalue":{"value":"0724.12010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$4EC0B7DE-0E92-42DA-A436-B2BAA3F70AC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5898a31f6dc519267a6d1211a4d553e28d302ce1","datavalue":{"value":"10.1007/BF01190114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$4E4A2508-3EB1-4BA2-90A5-7EFD6241D1C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92f58d03232deee073f0a44bc2106459930e6450","datavalue":{"value":{"entity-type":"item","numeric-id":185591,"id":"Q185591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$6CD591B3-C0A4-4561-B4C8-EB17EE153E6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$E6632888-8424-45DF-A9CA-DCD895EF29BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebf2f83ceb66feb8490ae2b363c9cada085a3535","datavalue":{"value":{"time":"+1992-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":"Q2277025$3FDFE886-BDE9-496C-8C1E-D07D0B86ACE7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0996cc9ef18a372517244f190a75def01db88e8","datavalue":{"value":"A field \\(K\\) is called pseudo \\(p\\)-adically closed (PpC) if every non-empty absolutely irreducible affine variety defined over \\(K\\) has a K-rational point, provided that it has a simple rational point in each \\(p\\)-adic closure of \\(K\\). It is proved that several first-order theories of PpC fields are undecidable. This applies in particular to the theory of all PpC fields that admit a p-adic valuation. This puts a bound to several known decidability results for PpC fields due to Grob, K\u00fcnzi and the author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277025$B6EEDB8E-8246-419E-A1A3-4CFA8E8EB3AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$E4B30760-A2F0-4522-8A21-19FB3393C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd171e62cdd301f1a0340e3f5b3c3f0b2350a2ad","datavalue":{"value":"12J12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$ACD66651-A83F-4282-8A1B-8486D11294D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$2F9CFA27-C509-4109-B9DA-42470E9D9970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce9169efc1f26c789fc83f614592fcfec167d9f1","datavalue":{"value":"4193841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$A5E0F86E-15C5-4EAD-B8EF-3B1A6F1E4F46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33981bc84dc77fc9d7b10cc3ddb3107b8e5e7e0e","datavalue":{"value":"pseudo p-adically closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277025$CADFC7FF-81BF-474C-B212-4B8C423CDE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277025$15DB1515-727A-4C04-AEAE-12F3F56B92EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277025$A46F86D8-89A4-4AC7-992F-54C9ED645FF1","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":"Q2277025$B3AC9A6C-EDA4-43E1-9037-3721B9B9BD6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29414fe8b5b6f699d973f7f852940f0a7cdb5bef","datavalue":{"value":{"entity-type":"item","numeric-id":3984425,"id":"Q3984425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$E0E7591C-C0CA-4087-A1FB-421815E7AFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4588e6156f3c13cd5db19c310469b698376fb229","datavalue":{"value":{"entity-type":"item","numeric-id":3978432,"id":"Q3978432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$F4B54607-7203-46A0-AABE-E2386102EC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7d602f8c86b08f9792780a8ca4d0aa8407c315","datavalue":{"value":{"entity-type":"item","numeric-id":803207,"id":"Q803207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$F8E22170-3807-4A8D-9DA6-2E5380728856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d825a8fdd1f382e6c1addbb0dbdc945178c4287c","datavalue":{"value":{"entity-type":"item","numeric-id":1171566,"id":"Q1171566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$AE349062-F412-4766-8AB8-B4581D2F6068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4fafca3b474b1ecfc3bf9c54ea0ee60ea483093","datavalue":{"value":{"entity-type":"item","numeric-id":1103673,"id":"Q1103673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$6B4FFF41-6667-4205-A26B-9E0FD4C6A24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4970c881819412b410caeb9760fc987eb27544","datavalue":{"value":{"entity-type":"item","numeric-id":1066194,"id":"Q1066194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$BE5ACB2F-D7FC-40D8-8A5E-F5DC6C13EA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5dd0121b818adf61e0ca6908c6f4bb1072edd8","datavalue":{"value":{"entity-type":"item","numeric-id":3726225,"id":"Q3726225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$62734548-BA88-475F-8936-351765F46563","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":"Q2277025$304E49FC-6A0C-4DFF-BA6A-E58B0E912E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2dd2c75e759dbb351b06d65d7b4424eb906d6ec","datavalue":{"value":{"entity-type":"item","numeric-id":3971900,"id":"Q3971900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$D237073B-94A7-4283-96DA-AFEDA466BA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573af634eeb617f71969108ba3b18375c1d57cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3349006,"id":"Q3349006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$28FBA6C0-99F9-4136-BDF4-F7C82E751DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74df5178f2236222658df64a5874cb41f33d14e","datavalue":{"value":{"entity-type":"item","numeric-id":1061787,"id":"Q1061787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277025$2FF1D0FA-3F65-42DF-BEF0-B7DC082EF9D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13d81ab137fd07d7e074b6122ceb1a931b746a3b","datavalue":{"value":"https://doi.org/10.1007/bf01190114","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277025$E82D029D-D5E4-4019-AB42-F9D9F9C51925","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"163f98b34e9a13bf27f5dda37a556c5c81894fe3","datavalue":{"value":"W2057534620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277025$1F5BFDE5-0D4B-4A69-9E4E-CFB33E174629","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49af13730c8ab216dea81020a026c642acdb31f","datavalue":{"value":{"entity-type":"item","numeric-id":753869,"id":"Q753869"},"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":"Q2277025$AF91C257-33C9-4D7F-99BB-A30F278C6646","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":"55329aa8375a7b46565f2f7ef2f02f12e1d3ff6f","datavalue":{"value":{"amount":"+0.8446694612503052","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":"Q2277025$538557D4-45B1-4638-A579-B0ABF66D477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df7d0db5464a5333382ffe4ce96f7901d1ef3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2105093,"id":"Q2105093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cff0f49bcedf71ae22bc2ab6798f84a74af9fa","datavalue":{"value":{"amount":"+0.8277496695518494","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":"Q2277025$34A744A5-DF06-4CF9-B7E1-4D2B01240569","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":"ba9bb3cf40c84bd1d5030e68929f2c7463a07ceb","datavalue":{"value":{"amount":"+0.8255531191825867","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":"Q2277025$D2D93F25-C38E-4355-9968-FB4C1264A08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cdf7e3e854c7fadb873c89b6359544bb91779d","datavalue":{"value":{"entity-type":"item","numeric-id":1920035,"id":"Q1920035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f90f305623d22b5f4acba0994ba54f7e814cb1","datavalue":{"value":{"amount":"+0.8248346447944641","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":"Q2277025$5AA558B3-9A39-4BA0-9194-A2F64961C661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of pseudo \\(p\\)-adically closed fields","badges":[]}}}}}