{"entities":{"Q1295390":{"pageid":1306140,"ns":120,"title":"Item:Q1295390","lastrevid":43010804,"modified":"2025-07-16T21:00:29Z","type":"item","id":"Q1295390","labels":{"en":{"language":"en","value":"\\(\\Sigma_2\\)-constructions and \\(\\text{I}\\Sigma_1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308075"}},"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":"Q1295390$65DF8041-6598-49A5-830B-EDF8E04E1283","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04f4b4796a19f92988c08aaa5916fe4ce45b6b44","datavalue":{"value":{"text":"\\(\\Sigma_2\\)-constructions and \\(\\text{I}\\Sigma_1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295390$BBF6A0FD-705D-42AA-B1BB-9F51885A42A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e5c6ad8320e73e88e15d738e65089cd414ffde0","datavalue":{"value":"0926.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295390$B0F95AE1-9540-4E24-864B-4CEA382FE792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d294d92703a55b7971317c35dedd3aad042faba8","datavalue":{"value":"10.1016/S0168-0072(97)00055-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295390$7F896E61-121B-4A54-9FEC-8F5138CC2CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$164BE148-1F37-4919-844F-F9E9695E93DD","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":"Q1295390$F5697093-B229-403E-AF37-01835F0C6C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38736b16377d65c133558922b8d6a1a038ca7912","datavalue":{"value":{"time":"+1999-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295390$7ED85EA2-AC0B-468D-BC75-695C39EF2B30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f53b228cdfbefe050e5de4c63901cacbe540c2b5","datavalue":{"value":"This paper establishes the provability in I\\(\\Sigma_1\\) of the following embedding result: any recursive partial order with a maximal element can be embedded in the r.e. degrees with the maximal element mapping to any prescribed nonrecursive, incomplete degree. Consequently, statements of a certain form in the language of partial orders are eliminated as possible candidates for statements that can be proved by \\(\\Sigma_2\\) priority arguments but cannot be proved in I\\(\\Sigma_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$5A153A2D-16E0-4482-A735-7BC600766164","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$9D922A16-6A48-47E2-9877-5724BE07327A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295390$D2116FC0-ADD8-4376-89C7-35DDCA361802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295390$E537F4D3-A22B-42DE-BEEC-5526FC1177BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8be8392e6426c65af9c1cea15aaac9a9b0793c88","datavalue":{"value":"1308075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295390$F4EDC621-01DB-4001-99A3-DFED56A5A044","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$591D7D1E-5230-41F3-AC8D-A436D74FD0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$464AB8EF-1A2F-4C65-8680-375187872EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e86d9b4ad5a06064fd9c9bcbc50f8026b1c776dc","datavalue":{"value":"embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$FF484E33-692D-4927-AB9E-7A65EF6614D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aada212db11311d0ed85437e5c0913767bc41498","datavalue":{"value":"recursive partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$6C02853F-1A5F-4085-8EC0-7D24065E6852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295390$9B1EAB97-CC95-47E3-8B07-C71385D18023","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":"Q1295390$1EBE7B1C-A0C8-466C-88B6-7913EA597CC6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f365af072b2cce66d6f97d47212e6f37856c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3830988,"id":"Q3830988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$6F7B25B9-BE86-4439-8C06-849F5893E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82401bf89c5ee3d252ddc55273e33b44d64fe48","datavalue":{"value":{"entity-type":"item","numeric-id":3483271,"id":"Q3483271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$2529BC81-BFB1-441C-B010-290B12DC000D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1343a60aae9e871edf1edb8ef20d22d86360cf33","datavalue":{"value":{"entity-type":"item","numeric-id":4894721,"id":"Q4894721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$9A4E4834-C6FA-45B3-8EB8-A236D5458DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054866aeb9e04dd077befa9a7a59d55a97ad5c9a","datavalue":{"value":{"entity-type":"item","numeric-id":3309826,"id":"Q3309826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$6A364290-04E3-4DF3-BC01-813CDFE59F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fe49d6ebc540bf93996d34985bd5da782dafaa","datavalue":{"value":{"entity-type":"item","numeric-id":4338322,"id":"Q4338322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$ED604806-E8EB-425F-97A4-5F5442EA8DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bbf16bbb6e946484aded8118d4d19fda806b19","datavalue":{"value":{"entity-type":"item","numeric-id":3480023,"id":"Q3480023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$B6AF8C9A-CCE5-47FB-896E-C58CDCB9DA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea8ca66b373ff54556fbad7311f8aec498e810a","datavalue":{"value":{"entity-type":"item","numeric-id":3824402,"id":"Q3824402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$E08DC412-A636-4888-BAD4-C80933E4BF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"081f2ef5bbdbff54dda813e99c4b51fea17e97c1","datavalue":{"value":{"entity-type":"item","numeric-id":3787994,"id":"Q3787994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$827B21E1-9001-4B69-851F-84597C9F5583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd3a853401c0a338f3c6d9ef11af48e72f68c40","datavalue":{"value":{"entity-type":"item","numeric-id":5729295,"id":"Q5729295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$BDEA5F35-5774-4C43-8106-3BE990C83F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40c77110e28562941ffed9c814c46e347072418","datavalue":{"value":{"entity-type":"item","numeric-id":4063424,"id":"Q4063424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$C7BA7B37-50AA-406A-8EA1-2E56CD5A0028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fbe6f5b260e179324fd6231547b09b71f3343ec","datavalue":{"value":{"entity-type":"item","numeric-id":1892096,"id":"Q1892096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295390$E57A4A25-800A-4076-B9F9-BB25209C935C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81118cbbe50b19c798f29df03e596b8fef3c3593","datavalue":{"value":{"entity-type":"item","numeric-id":4524186,"id":"Q4524186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce84431c4781aa73f5d710c817acab2b5c4953f","datavalue":{"value":{"amount":"+0.86692685","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":"Q1295390$E6EBE4D0-F53D-4191-9013-259CF1D43C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8966a723349b4a3fb08fede822e1af7c42d4fff3","datavalue":{"value":{"entity-type":"item","numeric-id":5192476,"id":"Q5192476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a84df67a5d47254dfeedd81d93007090f5f68f5","datavalue":{"value":{"amount":"+0.8636116","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":"Q1295390$F2782F77-907A-4E45-ACB1-88C8B1F86279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3876cd1fdfa012c186e5107a5193332d94799c69","datavalue":{"value":{"entity-type":"item","numeric-id":639658,"id":"Q639658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bea5a7abf916b8063897c974e0f0a33b57b0c24","datavalue":{"value":{"amount":"+0.86289567","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":"Q1295390$04171509-E64A-4CDC-BE5A-C99623D1515A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81f40c65a73218138cd31313abfde289290de0","datavalue":{"value":{"entity-type":"item","numeric-id":3576042,"id":"Q3576042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d96fe0e2a59fb82a5baf283deec2daac7e6cad","datavalue":{"value":{"amount":"+0.8580482","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":"Q1295390$8299F9B0-89F6-43E9-B969-5B56568DAEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10926b30ffed73d37bbb70bbe0784c0cf8a290dd","datavalue":{"value":{"entity-type":"item","numeric-id":3741620,"id":"Q3741620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be3ca5622bbd4abc910e1b0b37b278953fc6faf","datavalue":{"value":{"amount":"+0.85274774","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":"Q1295390$C89FAF6F-E54F-4197-B927-EA3C27F1883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8744b8428050236280ecad13f34f0ed712e0c9d","datavalue":{"value":{"entity-type":"item","numeric-id":694239,"id":"Q694239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af70cc5d30aaf8b98e4a37c0981399f0a6bf0d86","datavalue":{"value":{"amount":"+0.85102916","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":"Q1295390$9F520344-F5D0-44E7-ADF2-4543953141FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89bc79505fc69bcaf4ef0ba0e525b88da62f213","datavalue":{"value":{"entity-type":"item","numeric-id":5698958,"id":"Q5698958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf64fb3c9656967fbbf4341196adb78c4f28f64","datavalue":{"value":{"amount":"+0.8472865","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":"Q1295390$83D66705-1FF0-4243-AB26-0178E29C4650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acb320cb31ad3ab610e292b5922e63f50555e61f","datavalue":{"value":{"entity-type":"item","numeric-id":684016,"id":"Q684016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9290b00c04aba4956ea92fcca6a43188b7085b","datavalue":{"value":{"amount":"+0.84608126","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":"Q1295390$A8B58D4C-B79C-49DB-8EE8-5347FCE338E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7cbcd1b8b04b25e9f4d40f13124c5626bc7615","datavalue":{"value":{"entity-type":"item","numeric-id":3483271,"id":"Q3483271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fd7845302dd053346d196745c8a8bbba4935b1","datavalue":{"value":{"amount":"+0.8438449","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":"Q1295390$CA830923-955A-4A18-9E45-52378932D52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640eb00b5cc6013704c14f9b57b180c1aeef80b9","datavalue":{"value":{"entity-type":"item","numeric-id":3708811,"id":"Q3708811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6beca84b99e5b00dce0c62b1af1e778ebadb9c6","datavalue":{"value":{"amount":"+0.8434714","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":"Q1295390$CA24397C-1380-4F08-A10B-16A99F5693D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295390"}}}}}