{"entities":{"Q1964021":{"pageid":1974763,"ns":120,"title":"Item:Q1964021","lastrevid":82110104,"modified":"2026-05-06T20:07:36Z","type":"item","id":"Q1964021","labels":{"en":{"language":"en","value":"A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398644"}},"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":"Q1964021$FE14220F-654A-4CB3-9D0D-FF9539FECCED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97919cd87d3c9ff2c9df727cc2de183564f8523e","datavalue":{"value":{"text":"A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964021$BAE48A24-E662-4073-A84B-DDF15B3EDEDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44f4d0cf6190db8ef6d9075deb652390a456717","datavalue":{"value":"0945.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$A6CA5210-2FCD-4425-9C57-D46A77241E9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e32e3ec2dd319bfccc5861df4e4d9c268acb36b","datavalue":{"value":"10.1016/S0168-0072(99)00021-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$7300325B-56CB-4898-877B-2A4422A6E301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$2C197F14-9EE3-423A-95CF-9B7EA59E129E","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":"Q1964021$7F7EA4E4-EA7D-48D6-9702-262F530C40B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebe63471b53ee48ed59b5a1dab85fa46566f7415","datavalue":{"value":{"time":"+2000-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1964021$D31BA420-D9BA-4CCF-84F2-46B4798261A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"208e12047bf4ca08fa0d959b531cf6d6c9c9e9de","datavalue":{"value":"\\textit{M. Lerman} [Ann. Pure Appl. Logic 94, No. 1-3, 143-180 (1998; Zbl 0924.03075)] introduced the notion of good blocked target arrays (gbtas) and showed that the ranked finite lattices which have gbtas coincide with the ranked finite lattices which are embeddable into the upper semilattice \\({\\mathcal R}\\) of computably enumerable Turing degrees.   In this paper it is proved that:   1. A principally decomposable finite lattice is embeddable into \\({\\mathcal R}\\) (preserving \\(0\\)) iff there is a gbta for every sequence of requirements.   2. A principally decomposable finite lattice is embeddable below every non-zero computably enumerable degree iff there is a gbta for every sequence of requirements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$DFFACE1D-B48C-4D8B-B174-CD0B4610A01C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$C32CC549-9DAB-4007-AFE9-E17CEFB11A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$528B8879-E37C-4957-9748-8FBFA093A192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0f641eb763c13118f465fa896b783c169307b1c","datavalue":{"value":"1398644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$D26C3147-F8E4-4E73-A3E0-89BE33CC30EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4489f3ccbdc3f3cda22d0d7be1ac0bcfba19459","datavalue":{"value":"computably enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$973EDDCD-3A97-4E8B-9CDD-E69CCA74AE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519efe022e65f73b21f4db11f52e95ff0425e499","datavalue":{"value":"lattice embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$F5ADBC8B-F8EA-4897-93C5-62348B6278AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d3431c12b46270fb7ce25e4cdf0f8f64a2ba2a","datavalue":{"value":"good blocked target arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$26E3E0EA-21FC-4D27-8B50-B043BA7C642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f14b04886c24d4ad48d08f0d7fcb3d60cacfe87","datavalue":{"value":"principally decomposable finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$B8029D9D-2A76-41B9-B549-DED70A62E206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3081325017f6a57a42ac831ee4f3088c1cf6d7f4","datavalue":{"value":"computably enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964021$33C01C0B-BAFE-4B1F-BD2B-0FA48F5E0A67","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$C6D3DA05-9773-4DF8-A58F-8FFB7FE7E259","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":"Q1964021$EEC8B069-AFF0-42E8-A090-F940BA86E2B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a71f441f7a01d6e00961ffc3d1029b187c419d5","datavalue":{"value":{"entity-type":"item","numeric-id":3770516,"id":"Q3770516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$FC75318E-B842-4D5E-98B4-8A02BDBDB32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90977dc4430846e92490e9d2be6762e4854fa3fa","datavalue":{"value":{"entity-type":"item","numeric-id":757358,"id":"Q757358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$E308ECED-EA29-4E1B-A820-A66564D1A224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905afa414dfecac000db41cd2e608dea46c7ecfd","datavalue":{"value":{"entity-type":"item","numeric-id":1368585,"id":"Q1368585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$3303900C-6F71-4299-BCA4-41D682954C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b4640b0ee3419ac9ed20246ef8dd2b7a4e0ded","datavalue":{"value":{"entity-type":"item","numeric-id":1295397,"id":"Q1295397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$73563A55-BCAA-4608-8FB6-39B37B4C71D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964021$081853C9-8D5D-43AA-A69C-AB3CCB655A24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfc3f84f7962272454b62db217a9f3a86bca0f77","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00021-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1964021$4EA9324E-C4AC-428A-847A-EE5DB6E68EE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50aad3be07bd9da4a8d8c9e9725ff9b264970b2a","datavalue":{"value":"W2006815369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964021$2F6DFB22-6E83-42A4-8615-BD359DEE3D53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d5473e203edf90506ad6d3372e21e3e3b343f","datavalue":{"value":{"entity-type":"item","numeric-id":5945396,"id":"Q5945396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7090958e6bbc2a36a91420d7eaef572f4097b2","datavalue":{"value":{"amount":"+0.8947787880897522","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":"Q1964021$7647129F-86FA-47F2-B4DA-430FF72F950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd18d8d5d0b2568844d960c10156381749b650a","datavalue":{"value":{"entity-type":"item","numeric-id":1368585,"id":"Q1368585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7090958e6bbc2a36a91420d7eaef572f4097b2","datavalue":{"value":{"amount":"+0.8947787880897522","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":"Q1964021$3E3629CF-3824-4ABE-9936-02006352394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce78ed7357fa93e7fa9b5775b120e06965131f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295397,"id":"Q1295397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb2c033ef859d1abeab8a18afb322ea8caadee0","datavalue":{"value":{"amount":"+0.8661401867866516","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":"Q1964021$98F71017-922E-407A-AC02-E63D6939D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7973d860aa2713e08cc3060961a62269273d03","datavalue":{"value":{"entity-type":"item","numeric-id":4513972,"id":"Q4513972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad107d4b8018cdd2f952dc4b5a9f7df571e84433","datavalue":{"value":{"amount":"+0.8436480760574341","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":"Q1964021$18916DFE-ED6D-4DBA-A440-D360CB9D9FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ef08035d9441745685a34ded10875e3cc80e10","datavalue":{"value":{"entity-type":"item","numeric-id":4205431,"id":"Q4205431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5987aef59ad07ee9899f00749c67efbbb4f8753","datavalue":{"value":{"amount":"+0.8430464863777161","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":"Q1964021$A1802D9C-2CE4-4FF9-9B45-538A9767BEEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees","badges":[]}}}}}