{"entities":{"Q2359446":{"pageid":2370189,"ns":120,"title":"Item:Q2359446","lastrevid":57872514,"modified":"2026-04-02T21:41:01Z","type":"item","id":"Q2359446","labels":{"en":{"language":"en","value":"Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6736627"}},"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":"Q2359446$BAB72E18-744B-4DFD-AC10-FF721349B9BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9263150ea1bddec3eed8b82cb9b919fcf871ad86","datavalue":{"value":{"text":"Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2359446$2A35914C-90F9-4A76-9847-A12A95DF5348","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64f8c5407c845fb8af0ff69c3c92f217c63103a6","datavalue":{"value":"1416.11171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2359446$02873B4C-01FA-4DAF-887D-451623F74C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a02a9ac08a3b24a1aa011c9fbeb3904c72435515","datavalue":{"value":"10.4171/JEMS/714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2359446$660D64E9-EDBC-4512-82FB-4CA294B3074B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a25a5e59ce6d0b8f4242037b57bf5ac19170e423","datavalue":{"value":{"entity-type":"item","numeric-id":368678,"id":"Q368678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$7A7F0622-D09E-4539-8DCE-749FAFB75921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b618afc0da1e585f627b766ac78978b03311b47b","datavalue":{"value":{"entity-type":"item","numeric-id":204234,"id":"Q204234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$9156CBC8-3C95-4983-8FAD-212CFD51F907","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$7C02EE38-BC00-4F17-AB6B-2130AAC948EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1999ca064d94aea6a3057d7e34abd37331d8c09","datavalue":{"value":{"time":"+2017-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2359446$DE041109-D488-48C0-A8C7-844522A3A5F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e4a0bfb68b494e627eaa8d0b7195c901f8582d9","datavalue":{"value":"https://arxiv.org/abs/1306.2669","type":"string"},"datatype":"url"},"type":"statement","id":"Q2359446$51619210-2002-4567-99E9-0E54F00CA949","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"558f385dc69c894523d4ddc79515b191652bbc50","datavalue":{"value":"Summary: We prove that the existential theory of any function field \\(K\\) of characteristic \\(p>0\\) is undecidable in the language of rings augmented by constant symbols for the elements of a suitable recursive subfield, provided that the constant field does not contain the algebraic closure of a finite field. This theorem is the natural generalization of a theorem of \\textit{K. H. Kim} and \\textit{F. W. Roush} from 1992 [J. Algebra 150, 35--44 (1992; Zbl 0754.11039)]. We also extend our previous undecidability proof for function fields of higher transcendence degree to characteristic 2 and show that the first-order theory of any function field of positive characteristic is undecidable in the language of rings without parameters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2359446$AEAA3034-126B-48EC-AC62-192AC0A0586A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2359446$0A224DC1-3836-42A6-850D-DB1837DA1080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2359446$E772F122-7B12-4994-BBD6-DCE790282D7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cdd6763406f37d569eeeed295588af79faa583c","datavalue":{"value":"6736627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2359446$DE13C1DA-052C-4A7E-8A98-E1EA767D7C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2359446$D9E99602-7309-4B17-A541-0B613B4E9859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2359446$8AC81689-238F-4B49-8D51-0869E125A5E9","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":"Q2359446$E851BB1A-ADDA-4AFE-9FF9-6B62088A2BE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$C3E8F05A-36ED-4482-B511-CFD6372EB1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3db8636c39d94471287bf2ba80dd82aa920c37e","datavalue":{"value":{"entity-type":"item","numeric-id":1880058,"id":"Q1880058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$4F1D5BAB-F71C-4DDD-98CC-0A8865F4DF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c40bfe7eed116235edfca9ae10b4249ff6db47","datavalue":{"value":{"entity-type":"item","numeric-id":1758239,"id":"Q1758239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$AFDB114B-54A3-4CF6-8F51-D5AE7110B40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4c7a15aee909d0c0f8ce650c386b4899f2dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":3643307,"id":"Q3643307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$84EA6AE9-60B3-490E-84EF-B668462DCB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23904c318d370e3068658c505edd1a3bc78934a5","datavalue":{"value":{"entity-type":"item","numeric-id":4830003,"id":"Q4830003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$4AA75D51-4C7F-4F1D-9E4E-EB895816F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7cb947efc6c1381b8d43c482264ae5f550ba95","datavalue":{"value":{"entity-type":"item","numeric-id":1204413,"id":"Q1204413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$3C1F1922-E27B-486E-AE1D-CF923EE70544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb743d1f6859af21682cae4e40bd98fd265d4bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4495794,"id":"Q4495794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$47F5CAB0-E049-4FE8-9833-FB5A3F41EC75","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":"Q2359446$2A20031E-2B79-4B9A-B902-0AB5A05E7D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$7EDA4F93-8329-4746-804D-9CDD7E959318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391fe500febcd59043b9e02d0a380403910c6c1e","datavalue":{"value":{"entity-type":"item","numeric-id":3315578,"id":"Q3315578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$D6004DF2-758A-44C9-BDE3-E8637D733788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d7598a9a0a55f10fb5f2564d49acdbe1fc3f02","datavalue":{"value":{"entity-type":"item","numeric-id":2449847,"id":"Q2449847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$FB05690E-299C-48BD-91B5-1C45273C879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc93895000fff6ba5a473946c951b9c46ef12787","datavalue":{"value":{"entity-type":"item","numeric-id":3815281,"id":"Q3815281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$1B00B148-5EB0-4A81-BE12-39F32BBF8C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f54c44d69d416c509126f92cf64ab592cdf1c6","datavalue":{"value":{"entity-type":"item","numeric-id":910434,"id":"Q910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$49B14EC6-A2C2-4CBB-A0B4-C964B1D4D583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ff524a81966e22a697fef3d8a8c041306fa6d6","datavalue":{"value":{"entity-type":"item","numeric-id":4414310,"id":"Q4414310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$DBCEEDA0-B833-49B6-8825-ED1F607DE036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$320E0DE5-564F-4DAA-B012-E08E1E5783E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a52f0ff0163a8c22bd62088aa064a5befe5f5","datavalue":{"value":{"entity-type":"item","numeric-id":1915694,"id":"Q1915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$63A3A695-689E-41F8-8E5A-FB7E4F79AFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac92c60a4cc8509821090eba113e18f55d0206f","datavalue":{"value":{"entity-type":"item","numeric-id":1587513,"id":"Q1587513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$54376C1D-A8D0-4670-BB7C-17EB7CD5676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba708a9c49052d42cc989a5d27ae29b3d3114ff","datavalue":{"value":{"entity-type":"item","numeric-id":4546151,"id":"Q4546151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$ED36D96F-1D5D-4079-9314-3A67809EEA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1576aba6453699a5ebe96960f221e6cd157bab89","datavalue":{"value":{"entity-type":"item","numeric-id":3423328,"id":"Q3423328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$3A78A326-C98E-471A-8C5C-C1EA6AE36EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$A6550C4F-B52C-45AF-99EE-AF3CE7B18EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23642c36ab8c6dc2caf1a700914c8fe3482b31","datavalue":{"value":{"entity-type":"item","numeric-id":4281762,"id":"Q4281762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$116C3143-B5F9-43C6-BE87-4C5D71C799C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5942faf5803a9fba5f0f6dc3f5ca440faa03d71","datavalue":{"value":{"entity-type":"item","numeric-id":4090435,"id":"Q4090435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2359446$8D15E0AA-6BCB-4622-AD0C-DA7F60243F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d0f5e75aa2fc5682b1a7210901c2530484bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1758239,"id":"Q1758239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9991ec40e566f9287d939922607992b329f925ed","datavalue":{"value":{"amount":"+0.9055171608924866","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":"Q2359446$95AA6DE3-6767-4B3D-A694-1A4D6C37E83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f4186fd94f5fca4cae362cb78df10298f4e60e","datavalue":{"value":{"entity-type":"item","numeric-id":3643307,"id":"Q3643307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919bdaa886294366bc673f4accc3dde81c7b7b69","datavalue":{"value":{"amount":"+0.902977705001831","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":"Q2359446$802941F3-455B-4F9F-9C5E-67092ED99279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbbb92e0feffbbd61fa60c37fbc7717fe1c5a25","datavalue":{"value":{"entity-type":"item","numeric-id":4281762,"id":"Q4281762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75c44a7dc4d7447428980c1762d6fddf18b5bbb","datavalue":{"value":{"amount":"+0.8949141502380371","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":"Q2359446$5F85CE7D-E32B-456D-95F8-F4016C13109E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2be85fdbf9c4253b9e8f8c3a9d73407e71b79b1","datavalue":{"value":{"entity-type":"item","numeric-id":937914,"id":"Q937914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75c44a7dc4d7447428980c1762d6fddf18b5bbb","datavalue":{"value":{"amount":"+0.8949141502380371","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":"Q2359446$56FD3184-090E-4035-97D3-C0FE95448151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb41fdb8c060c5c894b52969920cbbcdfb549bbb","datavalue":{"value":{"entity-type":"item","numeric-id":1587513,"id":"Q1587513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d890f778022e31c2df8a7a80dae75d4106e239","datavalue":{"value":{"amount":"+0.8919956088066101","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":"Q2359446$3E524ECA-FE95-4EBE-B4A0-4C11A5C3E832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2359446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2359446"}}}}}