{"entities":{"Q1074575":{"pageid":1085327,"ns":120,"title":"Item:Q1074575","lastrevid":69812727,"modified":"2026-04-13T09:33:30Z","type":"item","id":"Q1074575","labels":{"en":{"language":"en","value":"Undecidability of some elementary theories over PAC fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948241"}},"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":"Q1074575$577E7C4F-0E4F-4914-86A2-08BC1B01C480","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03869f7572cc4e37ca6c3817e52efe19e488176c","datavalue":{"value":{"text":"Undecidability of some elementary theories over PAC fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074575$A9C31B61-FA00-45FE-BC84-A1333591AA45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b84947a067756e7cb97eed1c2e9339c00bb4b3ca","datavalue":{"value":"0591.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$F698DE3A-4E59-45AF-8BE2-223F693259F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6a47ae219378895ac74995ae7bac1fefc0c4b36","datavalue":{"value":"10.1016/0168-0072(86)90003-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$F7DAEB82-4F9D-4047-9D06-9544790D8708","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b300bc657451f28d4e8ef892871c241006f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":169773,"id":"Q169773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$1204305D-0107-46A9-91D1-ACE373726B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2543a8eaf8fe550d37175fe8c637171bfcfa8be","datavalue":{"value":{"entity-type":"item","numeric-id":1850500,"id":"Q1850500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$9EF494C7-AB44-4FD8-960D-98A51BD06A53","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":"Q1074575$98A73EED-9A4C-479F-8E85-4C80B2048A7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1074575$C44AD37A-39DE-4867-8546-0B283A0B8EF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8489761b1ab27c63bd7c44103cb94d809e3a6b8c","datavalue":{"value":"We consider the theory of the field \\(\\tilde Q\\) of algebraic numbers equipped with \\(n\\geq 2\\) automorphisms \\(\\sigma_ 1,...,\\sigma_ n\\). We show that with probability 1 (in the sense of Haar measure on Gal\\((\\tilde Q/Q))\\) this theory has the complexity of arithmetic. We use torsion points on elliptic curves to encode finite sets. The methods work also in nonzero characteristic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$6E01472F-A410-4D38-90BF-ADFACC3AAC7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$C0B7F715-44C7-437F-ACD6-5477952B5EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$21C25F51-4F64-4618-9A19-86DF324D30C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc5c7a31a75a40440f1c12c80cfdc26a7bc7c3c0","datavalue":{"value":"3948241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$049A8CB1-555E-4270-828F-C937FCECDF6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8422860359bc101554aed5560a957cd87b4e6d6","datavalue":{"value":"absolute Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$38DDA8EF-54E6-4013-8CB7-E61BEADEE85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b30da4b967d283a012a89d89327b7fa915a817e","datavalue":{"value":"normalized Haar measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$B752FBBE-E8F0-422B-8D6F-1064BD631863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0be8e6dbcadc79ff2eccfb28c04b4b4466ec6b","datavalue":{"value":"algebraic number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$2E9649FE-8BF3-400B-BCF4-98C440178254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ddba0d0ce186037de86143e700b38426a70c8c","datavalue":{"value":"field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$86D2D92B-E9DA-4C0A-86CF-23619F68A12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3f1b64a74dc0cd0ae976c516427d8e911b3cf5","datavalue":{"value":"pseudo algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$3874437F-4201-4CFB-A1CE-A08EEE5B2217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$48327A63-B43D-4D0F-9290-53446CAB5911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e430a1fdabb8858852d0e8084165ef71999ab584","datavalue":{"value":"torsion points on elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074575$75FD07B3-40AF-4D46-8719-F5AA2706FFC1","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":"Q1074575$324BD13B-7C74-48E6-8C58-C67789A7A011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75a2edafa73799416bb8d18e8666b8dd2bd5a240","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90003-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1074575$AD71285F-8E5B-4709-889F-AA820A66650F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa03fed9556509929b6a0050a665a75af1b2ee79","datavalue":{"value":"W1983683728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074575$BC1D4BD3-5C8F-4D7B-A5B5-581A75CF91BB","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":"Q1074575$78EC08C2-1279-420C-B8CF-7C5166785167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815fc6b24798e079e16fd68995553334b209888d","datavalue":{"value":{"entity-type":"item","numeric-id":5521595,"id":"Q5521595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$046EE505-13E9-4ECB-9CFB-3328FF1CA810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d7f0cbaafffd187a95516d1b9766f6935fe9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5513095,"id":"Q5513095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$78EEEA31-6A35-4A90-9830-65F700D35697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b682f0258a3f2425f9c1797b558b0f8f04f24f","datavalue":{"value":{"entity-type":"item","numeric-id":3950544,"id":"Q3950544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$04867EB7-453F-4557-AA08-8D40474ABF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b866bba96ae151ad3a477a3bb46c2f09c1a0b68","datavalue":{"value":{"entity-type":"item","numeric-id":5596785,"id":"Q5596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$E33C4872-3D31-4239-B1DB-B091364DD17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e772e65f63fea2b5cb3758be7a4783c5899afa","datavalue":{"value":{"entity-type":"item","numeric-id":759801,"id":"Q759801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$78CC33EC-2B4D-49F5-B560-E371FDE2EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5d33c4167654c813faf8f3f8858982bddd90d8","datavalue":{"value":{"entity-type":"item","numeric-id":1257525,"id":"Q1257525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$6BD7C257-83C7-4AD7-825A-82E12C2ADB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55ea889abcdea4a155f5a1d623c3e4203f61d55","datavalue":{"value":{"entity-type":"item","numeric-id":3946257,"id":"Q3946257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$F3DDC2D0-82FB-40A7-BE89-0305C0012180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5196673dbd851d66c1e8e61242d1c8d847bc577c","datavalue":{"value":{"entity-type":"item","numeric-id":5644067,"id":"Q5644067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$04C0D512-85EC-476C-A63D-C8CBD7893433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4c7761f8b9a63f493340a3ab2ab1c4c15c8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1212044,"id":"Q1212044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$34EBD091-5512-4D74-8FD3-E5E9E858C777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8256179d66517d01cb608604370c2580276bde18","datavalue":{"value":{"entity-type":"item","numeric-id":1394377,"id":"Q1394377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$206263CA-604C-4D38-B624-5C77F9225327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a246714ca82e7cb9014af60e11eb2ff921860c","datavalue":{"value":{"entity-type":"item","numeric-id":1139091,"id":"Q1139091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$CA9C8135-B4FE-45E5-B212-67242A80B3A0","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":"Q1074575$84ABE34D-4E8F-4DBD-8A3B-F24ADFD58DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabe591d47efb655148b4c6ab55869c7455ad8d1","datavalue":{"value":{"entity-type":"item","numeric-id":5724382,"id":"Q5724382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$73AD8F3A-EDF7-4499-AED3-78EA204303FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8b89f0371cfa6317b6d0abe1525d22e6885128","datavalue":{"value":{"entity-type":"item","numeric-id":5612629,"id":"Q5612629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$380D60E0-8C7B-4A06-B26B-9DDD39E14450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb56f2c0e6c202b641d2db83274bd3bebd51ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5833284,"id":"Q5833284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$312BB238-30B7-4B6A-AEBF-0CDF89D1FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$58EF17E1-B6A5-4B2C-B446-6A4CAE9E9CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5ca52641d1181acb17c516aec9956bc77a2e84","datavalue":{"value":{"entity-type":"item","numeric-id":5590569,"id":"Q5590569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074575$8E4B9E90-D8F8-4F90-8ED8-6EA1392102C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14db9ec1eb97e89f57bc75841e8edb8d743b8657","datavalue":{"value":{"entity-type":"item","numeric-id":1977485,"id":"Q1977485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82449d590aba346c05bf27b3b2638b0c3ae8dc37","datavalue":{"value":{"amount":"+0.8182516098022461","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":"Q1074575$2AD0BA99-8E08-4EB5-8B47-775630F26DDF","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":"037b2c1734aac004a0965cdb56157ac76e6c153e","datavalue":{"value":{"amount":"+0.8174183368682861","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":"Q1074575$0CBC354E-73AD-47A3-94DC-E9DE81E984B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb74355798d076673c34f72e3ae1e4dc76d4a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3027108,"id":"Q3027108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5466f5a4c6efe13c832446e46e025b96d6121dc","datavalue":{"value":{"amount":"+0.8115493655204773","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":"Q1074575$87ABC01E-8479-4EDF-ABFD-99D33A88D309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d4a1cd2206bc79eaf0f8a605b560de4a31270b","datavalue":{"value":{"entity-type":"item","numeric-id":4977216,"id":"Q4977216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ec663df4a91d1ffd088459b91be162822f331","datavalue":{"value":{"amount":"+0.7801439762115479","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":"Q1074575$8FA3F190-A37E-4D52-A5F9-6A191D2DC6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4b167a99cd60e605718aa073c0752b3a4c4e72","datavalue":{"value":{"entity-type":"item","numeric-id":4508178,"id":"Q4508178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be8caabe3c4fea9f73655360d5110097b9b78d9","datavalue":{"value":{"amount":"+0.7710891366004944","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":"Q1074575$A47562CA-07AD-40BD-886F-E9B10A5AA39A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of some elementary theories over PAC fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_some_elementary_theories_over_PAC_fields"}}}}}