{"entities":{"Q584258":{"pageid":586025,"ns":120,"title":"Item:Q584258","lastrevid":62949144,"modified":"2026-04-11T09:11:22Z","type":"item","id":"Q584258","labels":{"en":{"language":"en","value":"Diophantine induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134037"}},"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":"Q584258$9ED766B1-0E16-4D5D-BA4E-CA955AA5F601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"184492895c4739742274f940c3386720ba2f31b3","datavalue":{"value":{"text":"Diophantine induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584258$E64E3125-3BA5-475D-ACFD-EA0A02050459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a52a66c4f1908301475d0b5407273f4c01c01935","datavalue":{"value":"0693.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$E9F6A256-9287-4E00-92A1-F667A4DB83C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59e79773110920e8780dbb667840c68592a76ff5","datavalue":{"value":"10.1016/0168-0072(90)90076-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$541B44B9-7CB6-47BA-B50F-206271575134","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":"Q584258$76EB5DDA-7F7E-455E-937A-A9FAB2A54874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q584258$434CAA51-E955-41FB-ACCA-F089D4CC4243","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81d2b28cfa4d026c0ba96775e8e444fda643d127","datavalue":{"value":"Let \\(I\\exists^-_ 1\\) be the subsystem of Peano arithmetic obtained by restricting the induction scheme to diophantine formulas without parameters. The main result of the paper says that \\(I\\exists^-_ 1\\vdash IE^-_ 1+E\\vdash\\) Matijasevi\u010d's theorem, where \\(IE^-_ 1\\) is the scheme of parameter-free bounded existential induction and E is an \\(\\forall \\exists\\) axiom expressing the existence of a function of exponential growth. This answers the question of Z. Adamowicz if \\(I\\exists_ 1\\) does prove Matijasevi\u010d's theorem. It is also connected with the problem: \\(``I\\Delta_ 0\\vdash\\) Matijasevi\u010d's theorem?'', which is still unsolved. The theorem is proved by means of a conservation result relating parameter and parameter-free induction schemes, which is of independent interest. The paper is concluded by some consequences of these results to the structure of countable nonstandard models of \\(IE^-_ 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$E9EB39EF-C754-48CB-9AD5-143160F91ACF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$C9425D82-05A6-4A75-95EF-4393A711CF05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$52068FA2-E0D0-4682-8F90-F5E194E5F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$DFEC53BD-3BB5-4370-9FA6-9BFAB102D881","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"436c61d7b8b0b458eb6b7db8bab39829ef04400f","datavalue":{"value":"4134037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$1CECEAB0-02F5-46EE-8F0A-69119E8F56DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08321b0eab62649a36626de79d675b69bb04be01","datavalue":{"value":"subsystem of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$15F76B1B-B33B-4E6B-940D-B79849AA2611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$DF15ED73-3471-46F9-A39C-A5CF6BB831F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14b3f4873163b8b12a2a998a713aa2718f5faf44","datavalue":{"value":"diophantine formulas without parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$1FA886AE-FAD8-4DF1-BFD7-37D3945128EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb74b9bf48a183bd4a0acaa9a254cb1da9695318","datavalue":{"value":"Matijasevi\u010d's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$BCF1965E-96B3-423A-A9A8-33209B94E90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31b5fe7c23a6d7c9f596b142f49a4fc76fa914e","datavalue":{"value":"countable nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q584258$34B9CA7E-CBBB-477E-BE16-0280B4FFFB37","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":"Q584258$667F90E7-0BD6-4A5C-B332-6DF40721D862","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":"Q584258$96111EAC-D48C-47D3-AFB2-B6821F14E727","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebf16191862862b24fe0cd666db95e98adee5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3757904,"id":"Q3757904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$E9426F1D-8679-44A4-B33E-D30733745045","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":"Q584258$747D0511-977A-48D0-A7E2-A4B37F450FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ec5b6f58c557057b8e805dfdf47f534cfdd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3834043,"id":"Q3834043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$F8AD8E1F-D5A0-4A48-929D-FE79FB2F887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d443dff038da2fab7824884185234cb39c0bfe31","datavalue":{"value":{"entity-type":"item","numeric-id":3669417,"id":"Q3669417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$5D0EE8F0-FC6C-44E4-9704-6DD75376E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1bca3faa7adfa67f311ee3d68b8db1f80340d1","datavalue":{"value":{"entity-type":"item","numeric-id":3682483,"id":"Q3682483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$8CAB7EF2-EFE7-420A-8A5A-2CF5A652AC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$91DC7045-F967-474B-9C42-44040C8D008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$E8F0BD0A-E7FA-474D-A1BF-4F3B0D6A707A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8234aef158df8ccea7b73b6f2497ce8cc52713","datavalue":{"value":{"entity-type":"item","numeric-id":5813178,"id":"Q5813178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584258$220D89E8-3A31-4F06-B085-6CEF465477E9","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":"Q584258$C3737826-C3E1-4B2C-8C52-E5EACA330559","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":"Q584258$163D38CE-5487-44EC-8117-EBDE07763FA9","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":"Q584258$536E9DA1-D0CA-4A9A-BF79-233C9EB726E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e31052985d9a96dc213de91e492013601c72388","datavalue":{"value":"https://doi.org/10.1016/0168-0072(90)90076-e","type":"string"},"datatype":"url"},"type":"statement","id":"Q584258$BA1EFCD4-130A-487F-ADCD-0EFEFA6B7C43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea38d70dfaf1719483f593eb9010cdcffba77d21","datavalue":{"value":"W4212773215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584258$859BDC1B-765A-4E6B-BE89-BE98D4759FA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593ed4999cbd829c5de6a63a360d88c8f5c4ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3768889,"id":"Q3768889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d2e8fa0c85852d983369fd2419be48afb6f4c8","datavalue":{"value":{"amount":"+0.7982639074325562","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":"Q584258$1278167A-4062-4067-AD25-13F2D3490E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b8418eb488784c1b0e16f07168709005617b11b","datavalue":{"value":{"entity-type":"item","numeric-id":3807194,"id":"Q3807194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c0b5abaef2f66e571d84ecd3ee5524d6f9ce7a","datavalue":{"value":{"amount":"+0.7846923470497131","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":"Q584258$1D3B2B7F-E574-43AF-BDAC-0D1C7B8F3F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2846e738b1bf4d639ad1734e4111526d828b94","datavalue":{"value":{"entity-type":"item","numeric-id":4874784,"id":"Q4874784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710968f5f00c32a9a8d4860b8dd46aa80443e16e","datavalue":{"value":{"amount":"+0.7745588421821594","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":"Q584258$7282C7D8-A104-4AEF-BDA1-695E19D43C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1a2d58d571d070913960c80cac8bacc5787644","datavalue":{"value":{"entity-type":"item","numeric-id":3682483,"id":"Q3682483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620c45527f0623d8b5b1f02228b59ba7bb935535","datavalue":{"value":{"amount":"+0.7721964716911316","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":"Q584258$3C57761B-7526-4D75-A400-D614C527FBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f71b7ab05a1790f6f7926cb6f58466281c5d1","datavalue":{"value":{"entity-type":"item","numeric-id":3772192,"id":"Q3772192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cc9736bd017f93a7f63af955ee4ee498afd101","datavalue":{"value":{"amount":"+0.7665725350379944","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":"Q584258$9C35F684-1E76-476D-8232-718446BF648F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diophantine induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diophantine_induction"}}}}}