{"entities":{"Q2464706":{"pageid":2475449,"ns":120,"title":"Item:Q2464706","lastrevid":78710177,"modified":"2026-05-06T12:15:18Z","type":"item","id":"Q2464706","labels":{"en":{"language":"en","value":"Recursively enumerable sets of polynomials over a finite field are Diophantine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220762"}},"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":"Q2464706$45E83913-5EF9-4C0D-BFB7-BA1C93FE01AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eda2e2cf3a23246048d56297f5cfeeddf941f18","datavalue":{"value":{"text":"Recursively enumerable sets of polynomials over a finite field are Diophantine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464706$36C6F5CD-26B5-48C6-AF04-81DBB2F40E8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a185530d1409bd5f93429dcddf852f756a99dbf","datavalue":{"value":"1138.11055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$0B85ED65-5507-4811-B602-FDDFA74A2C6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e320b1c8aeef7db6fbc7d62f8becc1ca57c7778d","datavalue":{"value":{"entity-type":"item","numeric-id":256567,"id":"Q256567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$063AD3FD-CC09-4616-9B73-E2B1D07961F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$09D23165-3E54-4E2A-AC39-9FAE5D53CF6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464706$C4162363-AFCD-440C-8AF9-00C6BF5B4026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25e69ae0240441e7798348afb4d26ef098bd7f5","datavalue":{"value":"https://biblio.ugent.be/publication/389620","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464706$32F270BF-5B1F-41A9-A8E5-22B57CDB12C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8c6d21193d30a6e1901063b8513c4ae0749c120","datavalue":{"value":"A relation \\(R(a_1,\\dots,a_m)\\) (with \\(a_1,\\dots,a_m\\in \\mathbb N=\\{0,1,2,\\ldots \\}\\)) is called Diophantine over \\(\\mathbb Z\\) if there exists a polynomial \\(P(a_1,\\dots,a_m, x_1,\\dots,x_m)\\) with integer coefficients such that \\(R(a_1,\\dots,a_m)\\) holds if and only if   \\[ P(a_1,\\dots,a_m,x_1,\\dots,x_m)=0 \\]   for some \\(x_1,\\dots,x_m\\in \\mathbb Z\\). The well-known Davis-Putnam-Robinson-Matiyasevich theorem states that a relation \\(R(a_1,\\dots,a_m)\\) is recursively enumerable (r.e.) if and only if it is Diophantine. This implies the negative solution to Hilbert's Tenth Problem over \\(\\mathbb Z\\). Let \\(q\\) be a prime power, and let \\(\\mathbb F_q\\) be the finite field with \\(q\\) elements. On the basis of a previous paper by the same author [J. Algebra 310, No. 2, 801--828 (2007; Zbl 1160.11051)], the author shows that every r.e. relation over \\(\\mathbb F_q[Z]\\) is Diophantine over \\(\\mathbb F_q[Z]\\). The author also proves that for any recursive infinite algebraic extension \\(F\\) of \\(\\mathbb F_p\\) a relation over \\(F[Z]\\) is Diophantine if and only if it is r.e. for every recursive presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464706$301814D7-A0B8-46FD-A1DC-977DE8D08542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$AA1CBD1B-B5EB-4A41-8D60-225649F91EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$09CFF886-2946-4447-835B-3DD401C473C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$5440799E-B1D9-45A6-9A32-DADDB40F1CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"596784aaba5bbf2f5a2e8d6ef4041088cdd8b062","datavalue":{"value":"5220762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$D1C76F20-4C82-41AD-867D-C2DCA62F5ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c4f22d0e80f4e90b1b2a063688453b87b4114e","datavalue":{"value":"Recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464706$199D4123-708D-401A-88B8-DACDE1CD1AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"629d05d7729c5385d7e621239fe083c4170c1496","datavalue":{"value":"Diophantine relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464706$45ECC789-FD1A-4DDB-B52D-449732F4E89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad6e93d7c836b6cd5c711a3bf095a6d0e3145c4","datavalue":{"value":"Polynomials over a finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464706$94348D2A-C6F9-4294-9A19-63BF89F4D05F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f69b663a78c8ec1d862d31a266ead9ea3e1f9b7","datavalue":{"value":{"entity-type":"item","numeric-id":189392,"id":"Q189392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$4A3B237E-FCCB-46FE-BDAE-EB3F7A9FE4B1","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":"Q2464706$4E3B60ED-C5AC-4B07-8913-25BE0AE4362E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd70d0f772d8ac9330b8ee8db00742d9b5c64a0c","datavalue":{"value":"W1994166840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$DAFFE429-AD1C-4F93-924C-F26A8345E295","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$F1A1B95F-766B-4249-A5B2-50DEA69E92DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cdc384abd695d388e90e64239afb4cc781e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":875928,"id":"Q875928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$8C15A3B3-DEF9-47D5-81D9-E09237502565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566287b67c4a86b9b99505d2ace497b2dd447ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3905379,"id":"Q3905379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$E65E4431-F049-40A2-9674-C695D59399D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$867C795A-9FA1-45A3-97F5-2F3EB1652FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$0A004540-A342-46CE-AEE3-112A5535D742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cee6cfbf431e2927e643ef9e7a4abc7fee5268","datavalue":{"value":{"entity-type":"item","numeric-id":2715529,"id":"Q2715529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$B3D93529-2033-4361-BFCC-EFC825DDC052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce7a78297f792cb35082821bf9680d64c556351","datavalue":{"value":{"entity-type":"item","numeric-id":4419573,"id":"Q4419573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$4FDC72DD-B877-4BEF-8CE5-831A47B12FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$5B3D591A-FAF6-4FF7-B539-BD15B719CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85a48854397b6f5335e93c6dcd3c315b5cf05d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490702,"id":"Q4490702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$EB51BAEE-A7A1-405B-9E00-B3442972B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4234274ae2a187938224d5bbc7f4d5d107a18608","datavalue":{"value":{"entity-type":"item","numeric-id":3926549,"id":"Q3926549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$8AFDA6F5-292B-41D8-89BA-7DBD90806C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74d91130a1f9a77194ce2b6a85b8db0ec5a9789","datavalue":{"value":{"entity-type":"item","numeric-id":1336465,"id":"Q1336465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464706$89CCEBD2-0AE9-4B73-8268-53C33AE856E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b3f65234a2692dae1d05be7abc6ff38d3675d12","datavalue":{"value":"10.1007/S00222-007-0078-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464706$08309F32-22D8-4975-8EF5-6561E30A54D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d84155f602155a35f465d32a797136cd4855719b","datavalue":{"value":{"entity-type":"item","numeric-id":875928,"id":"Q875928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d278279bd1ef509cd127e4e64cc481d09a607dff","datavalue":{"value":{"amount":"+0.8015441","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":"Q2464706$92EA746B-7269-49D9-B608-F581989CEBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf615877c5a0be917c0719230bd56216e060510d","datavalue":{"value":{"entity-type":"item","numeric-id":3351492,"id":"Q3351492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bc2dc9334f91df53c9c6a9aa09e2a98437d7a1","datavalue":{"value":{"amount":"+0.7601947","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":"Q2464706$FE27E1AD-0042-4711-A065-5089D45BC3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc0110575d05b102c9b134cc5c7b2ae1a7fb587","datavalue":{"value":{"entity-type":"item","numeric-id":4699593,"id":"Q4699593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b95cf9b47183949e99c0272874e3aa61efc194e","datavalue":{"value":{"amount":"+0.75070643","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":"Q2464706$80FA9C2B-3BFF-419D-B9B1-F1418B726F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539095aa41faada87d3931406fb54f97365bf506","datavalue":{"value":{"entity-type":"item","numeric-id":3581096,"id":"Q3581096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f8b4e47ec234698e957764bb0f1a3ef2c9212a","datavalue":{"value":{"amount":"+0.74338424","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":"Q2464706$BB8FBA02-4897-4423-B6A0-58D1CFB04CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165b2cfdc1cc2b4a452dbd327e4ca6739d80b368","datavalue":{"value":{"entity-type":"item","numeric-id":3734384,"id":"Q3734384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983fdd4e38c6e38e3b3bc6203bbbeb87cd01f481","datavalue":{"value":{"amount":"+0.72818756","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":"Q2464706$D4997539-AF28-49FF-811B-04A16D1E186F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f43f25e78d00a76d65b7b28a431b2c4cc97a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2843817,"id":"Q2843817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f9e5aa045ba296ba65e138b6d7d194cd3123c3","datavalue":{"value":{"amount":"+0.70920026","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":"Q2464706$E9959D0A-E10B-41C0-BAB3-E2AB5B11D8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b8b9a603c98ddd1b9c7117d092ef62a1960d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4295232,"id":"Q4295232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9e2987a2e6a631b8f5f5f49e7ba82a3118cc72","datavalue":{"value":{"amount":"+0.68765646","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":"Q2464706$C90FCA70-BA4D-40DC-9C97-47A1CF8C81FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77cd2e657c11150a016d420f9316be29c0d5043","datavalue":{"value":{"entity-type":"item","numeric-id":5148103,"id":"Q5148103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be47f8f0672424d56e6224d634bc6aae2a1ed60","datavalue":{"value":{"amount":"+0.6818025","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":"Q2464706$191AA5BB-1DF2-4340-8049-D094AD1C3BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dec5967a3f4e8c9bffc9d27cd7cf09f46cafc6","datavalue":{"value":{"entity-type":"item","numeric-id":5089608,"id":"Q5089608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9491c1d6c97543ac7f54f18cd9d746daf99522b7","datavalue":{"value":{"amount":"+0.68104964","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":"Q2464706$D74D3AB8-3643-4205-9BAE-B343D7311FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d759f93ca63649b56b3c5af5cbce2c8b8acd9b16","datavalue":{"value":{"entity-type":"item","numeric-id":2933672,"id":"Q2933672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292832b61d756f3ae2ba14f97e963651b419340b","datavalue":{"value":{"amount":"+0.67762625","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":"Q2464706$40E4A757-55EF-4DE9-80B7-3E8F89E6FC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursively enumerable sets of polynomials over a finite field are Diophantine","badges":[]}}}}}