{"entities":{"Q584251":{"pageid":586018,"ns":120,"title":"Item:Q584251","lastrevid":62949081,"modified":"2026-04-11T09:11:21Z","type":"item","id":"Q584251","labels":{"en":{"language":"en","value":"Working below a \\(low_ 2\\) recursively enumerable degree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134027"}},"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":"Q584251$2F3852AA-FAEF-4C4D-8B8B-3EDFA12C836A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"697609c7bdf24b74a5ab96ce04107e329ed64401","datavalue":{"value":{"text":"Working below a \\(low_ 2\\) recursively enumerable degree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584251$685D5DD1-12A6-46B9-9056-209CAB519B37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55fb5149a69d97a6cd1177543ef21407a276a63e","datavalue":{"value":"0693.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584251$A3571720-20B7-4184-90AB-8CB787A583CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49d169f7dcf7de741ecccd5baa95fb17c7a0ada2","datavalue":{"value":"10.1007/BF01621095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584251$D570EEBD-318E-450F-BF88-EE6E4AD2CC2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$9B46412D-5719-4A7D-BC51-BE25EC301E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$659DBCF9-AD8D-42C1-B71C-62A9D9F46A98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$34AD400C-C10E-4A8C-9CA2-92BF21C30151","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":"Q584251$5FD660B9-C761-4B81-8CB0-7AAA8BFE3EAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"056fc95a287016d5828a8499e7226eed6ff9c321","datavalue":{"value":"The results obtained by the authors are connected with investigations of jump classes of r.e. Turing degrees. The authors wish to find a formula \\(\\theta\\) (x) which is true for low degrees but false for high degree and so separates one jump class from another. They prove that Robinson's splitting theorem, which is valid for low degrees, is not valid in the class of high degrees. Since Robinson's theorem was extended to \\(low_ 2\\) degrees by \\textit{L. Harrington} (unpublished result), they separate the \\(low_ 2\\) degrees from the high ones (this theorem is proved in a forthcoming paper of the authors [Splitting and density cannot be combined below any high r.e. degree (to appear)]). The authors also prove some other results in the reviewed paper. They find conditions when an embedding of a partial order \\({\\mathcal X}\\) into a structure of degrees below a low degree \\({\\mathfrak a}\\) can be extended to an embedding of an order \\({\\mathcal Y}\\) such that \\({\\mathcal X}\\subseteq {\\mathcal Y}\\). This gives a decision procedure for the fragment of the \\(\\forall \\exists\\)-theory of the degrees below a fixed \\(low_ 2\\) degree \\({\\mathfrak a}\\). Another result of the paper is the proof of the splitting theorem for \\(low_ 2\\) degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$4891A511-6676-4F1F-9B15-5C3771CED4BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584251$9BBA6F76-8435-4A23-8D1B-06687123351C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584251$C1745E22-300D-4CDA-981F-0C2D378D9E68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"776711b83df82eb89b7d34dd7a1e0a13eac38254","datavalue":{"value":"4134027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584251$7B032D2B-D18E-4E67-8813-F6D6F909E4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e5f91f51dca25afeb4cb389ab072a39b82966a1","datavalue":{"value":"jump classes of r.e. Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$6FAE4E75-6A22-4795-A57A-E48C406B504A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4f226c193db56b479d30a82d6e108ad3fcb60dd","datavalue":{"value":"low degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$6E136CF5-2B81-4B76-BE9D-A461E21F990F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f35ed925bb014c330f95783f5d86337f69904654","datavalue":{"value":"Robinson's splitting theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$D4176493-D0B7-4668-96E9-E38C9F7E862C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc4aa2a0efc724bec3a4fe0fe4575b50a8c633a","datavalue":{"value":"\\(low_ 2\\) degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$CD36A925-80D1-4652-A1EA-6821FA805252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63df898970a92a56185d1432b800814a30886ca7","datavalue":{"value":"embedding of a partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q584251$CFAEF3F7-41AC-413D-BA43-0A763AEBCACF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e1b8876fc0e708a0055b0cdba0e0185bc5d38e76","datavalue":{"value":{"entity-type":"item","numeric-id":465141,"id":"Q465141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$78FBE4B3-7189-47E5-A53E-1EC67325AAE0","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":"Q584251$D2481F16-C289-4284-95F4-6B54F6A04BB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c10e781644daf8686cef04cce217325a3f868ae","datavalue":{"value":{"entity-type":"item","numeric-id":3724316,"id":"Q3724316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$FB78560B-806D-45D4-90DE-00FC628DD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45c93e56265a59942fc0fa1163efc0e58936f59","datavalue":{"value":{"entity-type":"item","numeric-id":3897040,"id":"Q3897040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$36A978DA-4615-497D-A805-736B6C6E0CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd740859e54df15caf7c1b128907e8d20d45e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4087157,"id":"Q4087157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$25B50D3B-9A4D-40C7-A2E4-75B14FEC8AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$41240ED7-BD2E-44C4-8C76-D453069EC443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c25e4e40bf0b4c4189767b11b2a16926f3728e","datavalue":{"value":{"entity-type":"item","numeric-id":2560239,"id":"Q2560239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$1BF392B6-671E-4AB5-B64E-7D961E56606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb60cf9586411e724a6e3b5ca1401a367b6ace49","datavalue":{"value":{"entity-type":"item","numeric-id":3812224,"id":"Q3812224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$73818382-7CE5-4862-B4A6-62FF58FAB5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33919294b24a702a7f271fe9debf69c1b01abc94","datavalue":{"value":{"entity-type":"item","numeric-id":584251,"id":"Q584251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$116A229F-90EF-4EC7-B5DE-CE60E87F28A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584251$0B93526F-FE2B-48CE-98E4-70A81F66A7B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8047162abffb29ce23277ef4ae375106755b32","datavalue":{"value":{"entity-type":"item","numeric-id":5717051,"id":"Q5717051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d1c454aa08af20dd64dad650e97fed137eb64d","datavalue":{"value":{"amount":"+0.8378459811210632","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":"Q584251$475B94CD-8400-4E18-BB39-A3D9CF2B30F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f0f156a9ea911d47d18d9622b25e197c0fcfa7","datavalue":{"value":{"entity-type":"item","numeric-id":2776819,"id":"Q2776819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e7fe49aba9f874098d61065b2e9231fc42e066","datavalue":{"value":{"amount":"+0.819930911064148","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":"Q584251$05EDC770-2894-4118-9BD0-DBA75157EDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7472fa32d9d2915e442b12689d85873ef8202269","datavalue":{"value":{"entity-type":"item","numeric-id":1179531,"id":"Q1179531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e5d496674618b0cf8fc3024ca619e18b2a93a4","datavalue":{"value":{"amount":"+0.8000746369361877","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":"Q584251$758C7210-6C95-4D36-9E17-8F77567E407F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5903c463ff5b5eefe4108273211b35d1a6d62b6","datavalue":{"value":{"entity-type":"item","numeric-id":4276023,"id":"Q4276023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e265ea4dfe61e9bc670d7158118466732d345dfd","datavalue":{"value":{"amount":"+0.7985996603965759","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":"Q584251$699212CC-1591-4A3D-8F18-75D86AB34ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21dd99e6383545215c172ab71a53e662dbfea1c2","datavalue":{"value":{"entity-type":"item","numeric-id":4858813,"id":"Q4858813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b995a7e74cc3a1923e96981f14d8100eaf51eb","datavalue":{"value":{"amount":"+0.7969374060630798","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":"Q584251$5DA75E10-52BD-4D3E-9AD2-8E6D48BE4E40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Working below a \\(low 2\\) recursively enumerable degree","badges":[]}}}}}