{"entities":{"Q685070":{"pageid":686919,"ns":120,"title":"Item:Q685070","lastrevid":47188009,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685070","labels":{"en":{"language":"en","value":"Hilbert's tenth problem for weak theories of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416881"}},"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":"Q685070$606A03AA-643E-489D-8891-684C64E0B04A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48576b27ed73f1b3835fec8b8f0112dcd27e1d2a","datavalue":{"value":{"text":"Hilbert's tenth problem for weak theories of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685070$D77A1002-BC2C-4653-889E-F4D4D4F69CFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b64680b791fa9648734e8615f7cf468c3217a0af","datavalue":{"value":"0790.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685070$8A83995C-A755-4E79-AE01-9AB1A2B72543","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc72b008225cd8ee2d41fbff44f2289caf364cd6","datavalue":{"value":"10.1016/0168-0072(93)90198-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685070$D4624E23-557A-4AC5-8EF6-F209FE97C907","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":"Q685070$F8248237-E7DC-48DF-BFA0-7A2FF4E7431A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685070$A837D25D-DE1F-48DD-BF48-FC9D9D68795D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"971efddc68f3181b1fa23578552ced401fcc8727","datavalue":{"value":"Hilbert's tenth problem for a theory \\(T\\) asks if there is an algorithm which decides for a given polynomial \\(p(x)\\) from \\(\\mathbb{Z}[x]\\) whether \\(p(x)\\) has a root in some model of \\(T\\). The author examines some of the model-theoretic consequences that an affirmative answer would have in cases such as \\(T=\\) Open Induction and others, and applies these methods by providing a negative answer in the cases when \\(T\\) is some particular finite fragment of the weak theories \\(IE_ 1\\) (bounded existential induction) or \\(IU^ -_ 1\\) (parameter-free bounded universal induction).","type":"string"},"datatype":"string"},"type":"statement","id":"Q685070$16E0755F-6E67-4569-AB7A-921D0FA733CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685070$8F0C57C3-2743-4AE8-B836-5273D2388939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685070$494D1C33-1426-4A38-9E85-E4AEF3525705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0afb237ceb6cd8ff15bd8e2d42f87177105e94b","datavalue":{"value":"416881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685070$16352314-3AA9-4F45-A1A8-28DDCD62AC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a306b8a1e123cdd725bb5a4a7e2dc1fe95de0854","datavalue":{"value":"weak theories of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685070$B9C0B991-06B6-4767-8A1D-5847C2EA3F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8413329d7af1d8d2484ea26f1f29e081232ed3b1","datavalue":{"value":"bounded existential induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q685070$0161FC20-3099-471F-84FC-99DCBE149799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b65c4f86f9e45b5b4a55d31f8cd8ac215730087b","datavalue":{"value":"parameter- free bounded universal induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q685070$B0D19A3A-279F-4FE9-BA5C-EA90443D94BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16852d397daf2bbcaad561fcfc45e655fe8e884c","datavalue":{"value":"Hilbert's tenth problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q685070$3653ED9C-38FA-4B81-B3D1-53AAA0B9A6F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$72BD503B-C7C4-4833-B10F-EFCE18957759","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59699d8ba436c4690eab2e3c0ee0a7ef0d967cec","datavalue":{"value":{"entity-type":"item","numeric-id":1177040,"id":"Q1177040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$47099E7B-F627-421F-A471-7A75A0B0C1C4","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":"Q685070$DCCE4BE9-6FAB-4AEF-BB99-BCDF1F2F5402","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a39a3458a2d929a88bbb277027cc93e4af1dfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3901517,"id":"Q3901517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$E94FB1E5-BA87-4F5B-B13D-ED6CF89189BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea72613d2f5b40460bee7ae9815f8a8c4d3dff8d","datavalue":{"value":{"entity-type":"item","numeric-id":3915074,"id":"Q3915074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$35FD7FC7-7629-4E4C-9323-E5C11691B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$502A1978-481D-4BBD-9236-75E7D0FBC9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf396f0ae3d78e8d5754999137c14027afa469c3","datavalue":{"value":{"entity-type":"item","numeric-id":3809800,"id":"Q3809800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$10F03251-5752-4DA8-A67F-9A7C5044E120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfb9c72778590c7884c33e7e0a8fffcbceafd1b","datavalue":{"value":{"entity-type":"item","numeric-id":584258,"id":"Q584258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$5C988D74-1721-4289-B023-B5866695011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$6E499A8F-719D-415C-9B29-6541671C1F72","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":"Q685070$337012B8-6FEA-49E4-93C1-50E251C06248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c50ca9afb18c2e0ae39cef5b2fc00b52befc80","datavalue":{"value":{"entity-type":"item","numeric-id":3481698,"id":"Q3481698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$9532C1DF-0B8E-4E97-B191-FA431D0C2680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c50d194ec1a4b1402cafe18e5f5c12fbb4d22","datavalue":{"value":{"entity-type":"item","numeric-id":5720192,"id":"Q5720192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$B3FCCBFA-9FE8-462B-846D-2DDB9863DDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$661F0C3B-083F-4274-8019-8F9793DD7476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e3cf72accc562ec06e64edaac713b30b339678","datavalue":{"value":{"entity-type":"item","numeric-id":5534937,"id":"Q5534937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$235D0DC2-A7E7-4C94-8B8E-6ADCEAAF7811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2e6544055a463e29b1edc0f0cd876bf0a147b8","datavalue":{"value":{"entity-type":"item","numeric-id":3895478,"id":"Q3895478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$53C3BE3E-0CCA-4FDC-8DD7-9DC48FA9F900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b416b3623cde00f45ead77ee272e612cd5e4ad4","datavalue":{"value":{"entity-type":"item","numeric-id":3772192,"id":"Q3772192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685070$BDABBCB5-9E11-44BA-A2E5-4EB54BC05B92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01745346cde837ba97623e7166ade91000b6e7e6","datavalue":{"value":{"entity-type":"item","numeric-id":3588162,"id":"Q3588162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4b856fcb7e9495812f797ff59139eaa433cd6f","datavalue":{"value":{"amount":"+0.7874006628990173","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":"Q685070$F606C6EE-3A4A-4E05-8DD5-B9DD51F83EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea768d57e4be8eac1086a71b172babfea3db61c","datavalue":{"value":{"entity-type":"item","numeric-id":4231579,"id":"Q4231579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcaf4e788efd57241bf70ad0ee68ced6673b07b6","datavalue":{"value":{"amount":"+0.7731902599334717","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":"Q685070$9FAF7836-0ED8-48B7-876E-5AB40855C664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd2e258d5489672d26a5ed2d055ae6b0ec62e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4513976,"id":"Q4513976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcaf4e788efd57241bf70ad0ee68ced6673b07b6","datavalue":{"value":{"amount":"+0.7731902599334717","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":"Q685070$FB22F829-042C-437E-89D3-89DC70B21A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8480b52d3271497641ebbb836eaf2efc8dd71134","datavalue":{"value":{"entity-type":"item","numeric-id":5071023,"id":"Q5071023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93362ffff98332be47ba661b586e0d15c1e353dd","datavalue":{"value":{"amount":"+0.7665678262710571","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":"Q685070$6A832176-E4AE-487A-A83D-DDBB2484D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"900e06466d49b90b1ed30457626f0fed1eb1bfd4","datavalue":{"value":{"entity-type":"item","numeric-id":2715530,"id":"Q2715530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ffbe5e048af74979b4455da8ccc2d27694c700","datavalue":{"value":{"amount":"+0.764844536781311","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":"Q685070$BE7B7199-0D52-4FBC-A9B4-9C28EDE4AFB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685070","badges":[]}}}}}