{"entities":{"Q1093627":{"pageid":1104379,"ns":120,"title":"Item:Q1093627","lastrevid":66952881,"modified":"2026-04-12T13:56:58Z","type":"item","id":"Q1093627","labels":{"en":{"language":"en","value":"Complementing below recursively enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4023251"}},"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":"Q1093627$23CBD8A5-6C6F-4DA7-98D7-AC1AF78572E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"913084a3ea8cfde8235a161c2284269046f52273","datavalue":{"value":{"text":"Complementing below recursively enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093627$418DD5F5-97CA-4786-9FA8-1294F60DB791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e9799956742f3ea49ef34324df3fdffb1494da4","datavalue":{"value":"0629.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093627$52E0CA2D-1D8F-4DE7-A530-765B70035E14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40f7bb7881c2d66c2d4ab88a36a419d7cecde1b1","datavalue":{"value":"10.1016/0168-0072(87)90039-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093627$8C5386CB-60CE-4EBA-A779-80241E7EA32B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00f46b24a6e783ec8666cb789e3b7557d2392c8","datavalue":{"value":{"entity-type":"item","numeric-id":242614,"id":"Q242614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$9D8CB597-4CA3-4DC8-8F95-F60AB5C31034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5787b3e38e12279b9b779ecb056eaf709b07c867","datavalue":{"value":{"entity-type":"item","numeric-id":755573,"id":"Q755573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$0A0D0E81-1989-496F-93BC-D2D955A03F5A","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":"Q1093627$E5684BF6-DD95-4EAA-ACB0-40EDB2D98C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1093627$993F247F-0DAE-4AE7-ACF6-34D6B5BE50C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98a6043102224596397e6f788d92286b0839aa34","datavalue":{"value":"This paper contains two main results about r.e. degrees. First, it is shown that for any nonzero low r.e. degree \\(\\underset \\tilde{} c\\) and any r.e. degree \\(\\underset \\tilde{} a\\) not below \\(\\underset \\tilde{} c\\), there exists a minimal degree below \\(\\underset \\tilde{} a\\) and incomparable with \\(\\underset \\tilde{} c\\). Second, the authors construct a specific r.e. degree \\(\\underset \\tilde{} a\\) such that a complementation theorem like that of Posner for the degrees below \\(\\underset \\tilde{} 0'\\) does not hold for the degrees below \\(\\underset \\tilde{} a\\). In fact, they build a particular r.e. degree \\(\\underset \\tilde{} b\\) between \\(\\underset \\tilde{} 0\\) and \\(\\underset \\tilde{} a\\) such that no \\(\\underset \\tilde{} c\\) can both cap \\(\\underset \\tilde{} b\\) to \\(\\underset \\tilde{} 0\\) and cup \\(\\underset \\tilde{} b\\) to \\(\\underset \\tilde{} a\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093627$EC59BD95-5C8A-42E9-AD46-41B62AF0F6DD","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":"Q1093627$CE5B446D-CAC5-4CC4-B903-ECB74F0D3ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093627$45EB80D2-D1BC-483B-8604-83E8650CE82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093627$A965544C-D055-449C-8BAC-3B8CC53A7127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28bf22f5c0d7a360f27cbcbdf10188632069ced8","datavalue":{"value":"4023251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093627$9AF2387A-0447-4045-8C7D-123B7E829B1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7a81982e9a700dd7d9e1d40822af105258ec6a","datavalue":{"value":"r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093627$A34A3583-84B7-4767-A8FB-03A025FDFDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b1f6168ab44f62b302f637b78a8680541fc36a","datavalue":{"value":"minimal degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093627$4FC976BB-3FFA-4F10-80C7-87B4D677241C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df368d02bbe48d843caf6eb09d4971816991919","datavalue":{"value":"complementation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093627$921D6C60-85F5-4891-BC4E-FAEABE7DAD8A","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":"Q1093627$9821E9C4-5E35-4C67-9164-F8A640DAA113","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9c27a5614ac0d8289aa5e8ba99f413eb9fb19d","datavalue":{"value":{"entity-type":"item","numeric-id":5661863,"id":"Q5661863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$3552225C-1209-403A-AC2A-10F1C02F0ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92e862b17195d4faf38fe2ff2be35a07a14ba39","datavalue":{"value":{"entity-type":"item","numeric-id":4074893,"id":"Q4074893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$E8048403-1068-4A52-9163-A70966FEB367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d3ab541b99faabf87b841c92b776d995f9d8fe","datavalue":{"value":{"entity-type":"item","numeric-id":755574,"id":"Q755574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$871D7741-F46F-422B-A2EB-AE56CAA0ECBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ace3af0d0283fe0957b47e50b81b4e6c16d65","datavalue":{"value":{"entity-type":"item","numeric-id":3926565,"id":"Q3926565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$4CE7030E-F56A-4B60-8FFA-7D8D7A8E0496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$5A6BD3B7-A564-4827-89DA-3B70AD6BEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2817a968005a80dd7f65a83c222be0786625195e","datavalue":{"value":{"entity-type":"item","numeric-id":3665088,"id":"Q3665088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$342274D5-7ED6-442B-9556-248948497B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c90199f1e6aee81fd74ab65b582612d33806680","datavalue":{"value":{"entity-type":"item","numeric-id":3665087,"id":"Q3665087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$C2B4D7E7-45DF-4269-9EF2-EFDCC2F58DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9151933562426fe0114db2e01dec307d52272bc7","datavalue":{"value":{"entity-type":"item","numeric-id":3282934,"id":"Q3282934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$CCBCB25C-70A2-4B4F-9216-AF62AE7A336D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236d0a658f6ab0ee2c488239b40185f031c6665d","datavalue":{"value":{"entity-type":"item","numeric-id":5599821,"id":"Q5599821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$8A1BF71E-4B8C-4989-BA53-B3FC4C73CBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8080a060666ce540ac5849f911cb67e9775597c8","datavalue":{"value":{"entity-type":"item","numeric-id":5623675,"id":"Q5623675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093627$631F33F8-1F86-4A19-802D-B12647E22DA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f42533529e0817d98edb0b0a3f982111075483c","datavalue":{"value":{"entity-type":"item","numeric-id":3032238,"id":"Q3032238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a42697408db6c802a31d64b441c8c7da7c9930","datavalue":{"value":{"amount":"+0.8417020440101624","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":"Q1093627$9E4ABAFC-E561-4302-9ED5-3BD17554F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef52fec64cdc789d4a854aaa8be0ecacc1ce596","datavalue":{"value":{"entity-type":"item","numeric-id":4487561,"id":"Q4487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a207967b95c44da6178076d9172124250d26afe2","datavalue":{"value":{"amount":"+0.8415709137916565","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":"Q1093627$C7918BFC-2E82-43F2-BCD1-24FB3FE7CDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b977b30913897b4ff952e7d8b7a1c1f5096558c","datavalue":{"value":{"entity-type":"item","numeric-id":4272373,"id":"Q4272373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a207967b95c44da6178076d9172124250d26afe2","datavalue":{"value":{"amount":"+0.8415709137916565","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":"Q1093627$A46FB34E-6BC2-4441-BA72-E840C404E6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e8b77d8fe007f5c30b922f4d47496a25975b15","datavalue":{"value":{"entity-type":"item","numeric-id":1428038,"id":"Q1428038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623e288fd1963b88fee1ced36cf4b933ea9bb258","datavalue":{"value":{"amount":"+0.8165984153747559","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":"Q1093627$B5454B2A-A7A3-480A-9552-147B1F226FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532ced438474cf3837f99ffb34ed0b0ed25ab002","datavalue":{"value":{"entity-type":"item","numeric-id":3781752,"id":"Q3781752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c92f4e35d6fda1553638010f92e00ebb7415095","datavalue":{"value":{"amount":"+0.8123400211334229","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":"Q1093627$F73E5469-F9E4-46D4-93B3-582B9737C582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complementing below recursively enumerable degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complementing_below_recursively_enumerable_degrees"}}}}}