{"entities":{"Q2784778":{"pageid":2795516,"ns":120,"title":"Item:Q2784778","lastrevid":79437941,"modified":"2026-05-06T13:54:30Z","type":"item","id":"Q2784778","labels":{"en":{"language":"en","value":"Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732996"}},"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":"Q2784778$093A2A0B-AC83-4F3B-8AC8-128FB6D9B66E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c9a90fd9cbcce7ebf371a071770ecb6db1890f3","datavalue":{"value":"0990.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784778$27199B94-858B-4D7E-911E-33BFCFACBF39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784778$BF4A8190-5734-4A16-9D8F-EA764126DABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784778$90FD8BB8-A329-480C-9076-BA3AAB746BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05343dbffe17b2d34d1e2336dd4cb652c4d2598c","datavalue":{"value":{"time":"+2002-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784778$C984A96B-7035-4C76-8655-BCA05F600F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784778$AAB6369E-7FFE-4AD1-9FF9-EF80B4F6D148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784778$CEA32875-3C6C-474D-B4AB-E16CF5AF94C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784778$78711E8A-1D6A-4C7E-B1BD-E3D508DF73E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c988640c93e4288e90709b1df921625274ac8916","datavalue":{"value":"1732996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784778$3C030C44-98E5-4F88-B272-9D356256D792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784778$F1B3C9F7-C259-4320-A4B3-97582BFDC4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ad1b5e8aa1e9f9f8372b1fd51ff0cca4edb3af","datavalue":{"value":"recursion theory on weak fragments of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784778$62306DCB-7B7C-45B0-B7C8-0031ACE387C0","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":"Q2784778$AF25163B-94BC-47C6-9D57-85632975CD91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a5818aab2520588303d6dd21a5cc1caf686bc5e","datavalue":{"value":{"text":"Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784778$7C426EAE-5651-4461-8D46-9F1AA8435AD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76c2c1546d423e9c50b879ca54d658a3cb955fa7","datavalue":{"value":"The paper gives a survey of recursion theory on weak fragments of Peano arithmetic PA. In particular the recursion theory under the hypothesis of \\(B \\Sigma_{1}\\) is considered and results which are provably equivalent to \\(I \\Sigma_{1}\\) over this basis theory are discussed. Further the recursion theory under \\(B \\Sigma_{2}\\) is studied. The paper contains also some open problems.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784778$C5B8F5F5-9BC1-4783-AB6A-FB01AEEB394B","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":"Q2784778$F423F387-8D08-46FA-B699-19262A7373C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161d860c500cfccca2d606895e40a0a7862278a5","datavalue":{"value":{"entity-type":"item","numeric-id":5945568,"id":"Q5945568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195624e8457ef1395ee13a442de6d7610d225bdf","datavalue":{"value":{"amount":"+0.7560875415802002","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":"Q2784778$8A3E74F3-C084-4A4B-BF1D-B709E24EBE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa9d20755d96e0f90eba8ccc606b888c9bdda98","datavalue":{"value":{"entity-type":"item","numeric-id":4513965,"id":"Q4513965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c83e7dfcf1941513e5b444495e094aa28413cec","datavalue":{"value":{"amount":"+0.7521580457687378","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":"Q2784778$50C9C93F-D0BD-4EDB-AB0D-F93498DE4A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6c2d27059a49c8eede01e7ea78ec4a0b68765d","datavalue":{"value":{"entity-type":"item","numeric-id":2449854,"id":"Q2449854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8047fdcc12df0156a18b12757b6040a491ff6c5","datavalue":{"value":{"amount":"+0.7504038214683533","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":"Q2784778$B9D3ADC1-960E-42FF-AF19-2636DC25C6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaf58864b6344903f4e733e071e29fea437a683","datavalue":{"value":{"entity-type":"item","numeric-id":3720596,"id":"Q3720596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e03fe46f561616e5834c61066bdd3663ac5960","datavalue":{"value":{"amount":"+0.7489585280418396","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":"Q2784778$7DD11525-5267-4765-84DE-20A4D048D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82ebffdb719322ec22393fe5d7e18da4a8487cf","datavalue":{"value":{"amount":"+0.748822808265686","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":"Q2784778$6139319F-6783-4F9A-84ED-CE7FADED8BE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts","badges":[]}}}}}