{"entities":{"Q1179531":{"pageid":1190280,"ns":120,"title":"Item:Q1179531","lastrevid":46215145,"modified":"2025-12-24T08:11:24Z","type":"item","id":"Q1179531","labels":{"en":{"language":"en","value":"The density of the low\\(_ 2\\) \\(n\\)-r.e. degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 24892"}},"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":"Q1179531$8E94A88C-BC3A-4A1F-AF69-900CAD5E7E2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db1f71c9d672f28a872df2f5436d67e8af90120a","datavalue":{"value":{"text":"The density of the low\\(_ 2\\) \\(n\\)-r.e. degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179531$6E319727-C088-4B01-892D-57035D0A11A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fd66fe6e4d801982147a72c87d8aa7e3b218421","datavalue":{"value":"0745.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179531$2D5EC482-5CDA-44E5-ADEE-109C1A6BEF89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb260c3b47149d62d1327eea23be1eb16ced49c","datavalue":{"value":"10.1007/BF01370692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179531$28664047-7DC9-4F6B-98C8-4B36F7FF99E2","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":"Q1179531$34C7F259-C09F-4701-A3EE-82FF7187A3C2","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":"Q1179531$E5EC9DDC-3E4A-4613-804B-6CCE80E2E5CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179531$E5ECF127-A06D-492A-A27C-DA6CCD14CBA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"97543a3f1d4c3e893fb925cad8701cb830610b5a","datavalue":{"value":"Recall that for the degree \\(\\underset\\tilde{} c\\) to be low\\(_ 2\\) is to have \\(\\underset\\tilde{} c'' = \\underset\\tilde{} 0''\\). This paper's theorem proves that for any \\(n \\geq 1\\), if \\(\\underset\\tilde{} a\\) and \\(\\underset\\tilde{} b\\) are low\\(_ 2\\) \\(n\\)-r.e. degrees with \\(\\underset\\tilde{} b < \\underset\\tilde{} a\\), then there are \\(n\\)- r.e. degrees \\(\\underset\\tilde{} c\\) and \\(\\underset\\tilde{} d\\) that lie properly between \\(\\underset\\tilde{} b\\) and \\(\\underset\\tilde{} a\\) and whose join is \\(\\underset\\tilde{} a\\). Since low\\(_ 2\\) degrees can have only low\\(_ 2\\) degrees between them, it follows immediately that, for each \\(n \\geq 1\\), the low\\(_ 2\\) \\(n\\)-r.e. degrees are dense. For \\(n=2\\) this says that the low\\(_ 2\\) \\(d\\)-r.e. degrees are dense. A forthcoming paper by the author and others shows that density fails for the full family of d-r.e. degrees. The theorem is proved first for the case \\(n=2\\), adapting ideas due to Harrington. The full result follows by a straightforward induction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179531$B42F46C6-5F02-46F0-9F5F-85A892D22635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179531$38EA5E96-7C30-4109-A2C5-0DB5B5BF51E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7359e5a488c922f941f9c2afbbe2142f532492b5","datavalue":{"value":"24892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179531$080EA5B6-E30B-4970-A52A-7F85D1425F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179531$6F69AEC7-3BCA-497E-A315-8CB916D45DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a92784dc60f67a5c0722a19029506d9354c7741","datavalue":{"value":"low\\(_ 2\\) \\(n\\)-r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179531$B6A10685-3A7C-48A8-A4DB-691A50FFB349","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179531$B0C99567-DD66-4417-AF57-813F098F025D","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":"Q1179531$0D8546CD-8DD5-4340-B72B-1BAFC2900102","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179531$C881F475-68CD-4C6B-810A-8EA3F7C94EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c929ecfa8f2db0dd69585ea5ecd0d74b52ed4269","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179531$BEA974AA-B7F7-4123-9B77-9EE157C047C1","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":"Q1179531$5C9A5152-B505-42D4-BD38-B13A65D2AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89001f0d95d8af2283c3eaac6df53bb8b88854c1","datavalue":{"value":{"entity-type":"item","numeric-id":2626204,"id":"Q2626204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179531$1AED64EC-A216-4157-8302-7C780BF7995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcab7431526f10466d6dc9fddb0d05984d9f9d37","datavalue":{"value":{"entity-type":"item","numeric-id":4276023,"id":"Q4276023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179531$32DB7837-075C-4A74-AD56-80AB7468F3ED","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":"Q1179531$B0DA0F9B-1299-4DD6-B48E-89D7733B1526","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d137cdd69c058da2ca8be722336cd4cfec8f889","datavalue":{"value":{"entity-type":"item","numeric-id":2367847,"id":"Q2367847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106dcdf782c4327af2877edd2fdfad92bf3886db","datavalue":{"value":{"amount":"+0.8570773005485535","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":"Q1179531$8D4539C5-2A0E-41A9-9617-5B39292C4D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6daa243bf0afba391574cf33c5936922358d59","datavalue":{"value":{"entity-type":"item","numeric-id":1407513,"id":"Q1407513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac650ca9334383b67be3f4be9545c6ebba2a39a0","datavalue":{"value":{"amount":"+0.8394219279289246","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":"Q1179531$3A0C7955-4DB7-46F2-96EC-9D74B99F8014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984c4af888e7cf6c9c37b3e41f6f5fa09cf02f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1204114,"id":"Q1204114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cbbbbbb496890ec45b32e2b433aa10738f61a4","datavalue":{"value":{"amount":"+0.8240622282028198","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":"Q1179531$64CC6030-A551-498E-A4AC-EE61A5ED148A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1179531"}}}}}