{"entities":{"Q1919538":{"pageid":1930280,"ns":120,"title":"Item:Q1919538","lastrevid":82141322,"modified":"2026-05-06T20:12:05Z","type":"item","id":"Q1919538","labels":{"en":{"language":"en","value":"An extended Lachlan splitting theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 908467"}},"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":"Q1919538$444AA2CD-6DAF-42DC-A8E6-7A63A8617A43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe3750acfbb040e66e1c9e2f83effe8d4d470822","datavalue":{"value":{"text":"An extended Lachlan splitting theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919538$5F3A6585-4155-4956-8AFD-35BD654713CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcb40f040f37f5b691b641e844bf90c75344f3f9","datavalue":{"value":"0858.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919538$94BCD0EB-A43B-49BB-AF71-B2433463D510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11000d9050986042c7376fd1f8dce15d79008934","datavalue":{"value":"10.1016/0168-0072(95)00039-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919538$3C2D1280-1B15-4F8A-8B09-BC072562127A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$0086261B-3879-45B1-AE71-741D27F32F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$126F63D4-9F59-41E8-9BFF-80059AFCB719","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":"Q1919538$6609FD74-CC3C-4DDA-B5A9-F6884E8B7C24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7885d64aaaf481669cab5d69603c228d36f410","datavalue":{"value":{"time":"+1996-07-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":"Q1919538$9C82F06A-D17F-4D74-A1D1-74B9F2C433DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb60e6f78d4a0ff417e1c6bb614ba6192540ec54","datavalue":{"value":"If \\(a,b\\) are r.e. degrees, then the inf of \\(a,b\\) is (if it exists) an r.e. degree \\(c\\) such that (1) \\(c \\leq_Ta\\), (2) \\(c \\leq_Tb\\), and (3) for all \\(d\\), if \\(d \\leq_Ta\\) and \\(d \\leq_Tb\\) then \\(d \\leq_Tc\\). A minimal pair of r.e. degrees is a pair with \\(\\inf \\emptyset\\). An r.e. degree \\(d\\) is the top of a 1-diamond if there exists a minimal pair \\(a,b\\) such that \\(d = a \\oplus b\\). An r.e. degree \\(d\\) is the top of an \\(n\\)-diamond if there exists a minimal pair \\(a,b\\) such that the inf of \\(a,b\\) exists and is an \\(n-1\\) diamond.   Lachlan and Yates showed that minimal pairs exist. This paper shows that every top of a 1-diamond is also the top of an \\(n\\)-diamond for every \\(n>1\\). The proof uses a priority construction on a tree.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$464F31DD-B216-4C7C-8D41-D8188147359D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59c02125cd654c6fe0740c84a942b089a0294819","datavalue":{"value":{"entity-type":"item","numeric-id":811135,"id":"Q811135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$AE95443B-1B42-4725-B365-7AA1C9B98643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919538$7D316BE5-B5C9-4BDD-9984-3356432C1918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27014a63d64dd16776aa9bfe9a244ca846dc78e7","datavalue":{"value":"908467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919538$F9E6F353-FF12-4214-A327-88FFDEC31186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$BD0257D3-74CA-4E1C-92BA-8803652BF2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dd83ef7f0c96c91b4032628ff1017152923087","datavalue":{"value":"priority argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$D4B3B8F0-3258-4A4F-9C1B-86B9299BD03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55b3be727585551892576757edef90d1eb8bb386","datavalue":{"value":"top of an \\(n\\)-diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$D582BCD7-AFC7-4649-8E41-41C31112A26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089045109444783772792da658bd57f5bf33eabb","datavalue":{"value":"minimal pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$E65D7D9F-263F-498F-BABA-0B8DDA3E4ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28679a3a9441ec07fa17067616660ed9b26332ce","datavalue":{"value":"top of a 1-diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919538$E8B8CEE5-4FE0-413B-9568-C93D0902AA35","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":"Q1919538$010A43A0-2BE7-4DBA-BE5C-24CAA51D1A19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0256091765445c158800f9ba1db7b7f6928ece11","datavalue":{"value":"https://doi.org/10.1016/0168-0072(95)00039-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919538$D0CF6F78-8B70-4E7F-A715-E14DE51CA074","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db7ea131abd5df9ef6f0c7d6d9b2e3c7b1f7e9ef","datavalue":{"value":"W2054567792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919538$36E5E1B2-6104-4AE5-9F60-878827713B21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d7a673d9c2f08a64e159fb5d66907e94e5698d","datavalue":{"value":{"entity-type":"item","numeric-id":3325709,"id":"Q3325709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$FADFADFD-7F11-41D1-856F-02F85A050A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78ce6dab1117fcae5748955e8c964a33bb01747","datavalue":{"value":{"entity-type":"item","numeric-id":4304785,"id":"Q4304785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$6C8D01AD-1185-456A-82F8-CECEC04382E5","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":"Q1919538$CB7A5753-73C8-4BDB-BB08-5BE95999DE4B","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":"Q1919538$17648EF3-E2D6-4EFE-8DEA-FE9207EE09CB","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":"Q1919538$BAD84B3D-CA83-47AD-809B-3DF208C53793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a395c4c5933b613b35995fb962c5b0cfa5341e","datavalue":{"value":{"entity-type":"item","numeric-id":3676135,"id":"Q3676135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$969C6348-9610-42EC-B191-0EDDD5DD9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919538$3A49E156-F98D-444A-A7D4-A1B88CF4D5E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9846dda5c2b3eb8152671efd28976446b32b569","datavalue":{"value":{"entity-type":"item","numeric-id":4879204,"id":"Q4879204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfc78bc795d6695434f1c40c96b7c0dc9df7960","datavalue":{"value":{"amount":"+0.8184008002281189","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":"Q1919538$02757572-1AD8-477C-8C44-F0131976F77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2133ac5e2f1eeff2eb19b1e470a4e4ac5b6ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c954dff04fa5122bdae642d7181bd62c80992c0","datavalue":{"value":{"amount":"+0.8059845566749573","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":"Q1919538$B7C9A0D6-FA6E-46B3-B846-1193570714FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d2ef4652d02ecc9b5f91aa6bad0c364bdb5c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3315501,"id":"Q3315501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fa4009cd77c9b6114bbd1a0b10d614f3f31c94","datavalue":{"value":{"amount":"+0.7986520528793335","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":"Q1919538$009E5C8E-F0EE-4D0C-A7C6-0CEC66650ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327e8dbe012e9b070d00e70dffb2e9a828447ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3315502,"id":"Q3315502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4db92d67723198aec34ae99f47f0dcce3ef77e","datavalue":{"value":{"amount":"+0.7889752984046936","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":"Q1919538$9F2D9C2A-A559-42D7-B19A-D190D70B2CF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extended Lachlan splitting theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extended_Lachlan_splitting_theorem"}}}}}