{"entities":{"Q2790280":{"pageid":2801018,"ns":120,"title":"Item:Q2790280","lastrevid":83256494,"modified":"2026-05-07T06:53:43Z","type":"item","id":"Q2790280","labels":{"en":{"language":"en","value":"Computably enumerable Turing degrees and the meet property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6549239"}},"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":"Q2790280$7EB4FD12-27BA-404D-B395-C126193D4CA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5cb8b076161072ee358dd92e431964d28a8312e","datavalue":{"value":{"text":"Computably enumerable Turing degrees and the meet property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2790280$ADC80BE8-2EC6-4301-971A-06871038FA4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"413d270fb3068fcfba3083db979f16428053cfd3","datavalue":{"value":"1346.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790280$B543466B-5888-465B-B1A6-9A6A3EC7FAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$31378D4F-5688-442B-8415-5A70BEB855F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d52204fed404bf2ed1b04cfddb1beafe0e3bd5a","datavalue":{"value":{"time":"+2016-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2790280$17C23461-976B-4094-990B-365EFFEF2ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2b0922a8e95d0a4fe296a307b49bac1437ea338","datavalue":{"value":"http://eprints.lse.ac.uk/65480/1/Computably%20enumerable%20Turing%20degrees.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2790280$DFDA21DA-14FB-4866-B3C7-1BEEA56D8E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790280$BF4BE1FA-B4C6-434B-AF2C-1767C6FA8756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6e6a16f7248bba46c288343d4d96f2d076e052d","datavalue":{"value":"6549239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790280$2A71196F-EFDC-4E89-B15B-5D65CB28F492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790280$47061709-39EE-437E-BB08-8F1BB0415C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee30073c235fde031bd70575be4b3122b335cb9d","datavalue":{"value":"meet property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790280$58387D14-8AC8-4AC9-82B0-5F94200A97A8","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":"Q2790280$25176FBD-193C-4508-BA80-F3465A05D9C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03feb9d4d62262def57416d1de349236eb83e60c","datavalue":{"value":"W1654606651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790280$8E52A82A-51A9-4119-B80D-8ECC86580A1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d94ee13fb5ecca8b20e9dac6ff80f0c10426a","datavalue":{"value":{"entity-type":"item","numeric-id":4417312,"id":"Q4417312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$43E7136A-002D-47CE-BF60-6492C5A98C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1ac768e64b57f53ae7f2e9d91f228c077f5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4934279,"id":"Q4934279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$53DD2E6F-9467-4DA3-9DF8-11E6F08A6C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e01bc3f8eb894473f116383e93cfe7c8c48343","datavalue":{"value":{"entity-type":"item","numeric-id":4713085,"id":"Q4713085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$EC8353F3-FB10-4204-9084-4351FC0620F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"036a9ff509e101f5ea4230cc3afe32dddf55f78e","datavalue":{"value":{"entity-type":"item","numeric-id":1093627,"id":"Q1093627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$5F7E208B-DA62-4D65-B290-77EE06FE9A16","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":"Q2790280$FA1081AC-78E9-4931-B72B-03109405B333","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":"Q2790280$17CCD2E1-8B85-49DA-BCF1-9D21EAA4D9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4cb9f8f360702e97b1a3ec946be90a1aa343ad","datavalue":{"value":{"entity-type":"item","numeric-id":4457726,"id":"Q4457726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$1590F8E0-CE7A-4A17-872C-95A8F65D411C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$07E04B59-2F57-481D-AD16-21D2A8302FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f653ab99bfad30ea5803aebe5cf689d06393458c","datavalue":{"value":{"entity-type":"item","numeric-id":4683152,"id":"Q4683152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$749B11AD-89E4-4E14-8F30-DF731B65CB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5092035d5fdacae5ad1f6409d367a18188983f","datavalue":{"value":{"entity-type":"item","numeric-id":2907059,"id":"Q2907059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$054ABB22-D9E2-4662-B275-9AF7FCB570DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37366817f14b0bccf9abbc234efbe7a987665555","datavalue":{"value":{"entity-type":"item","numeric-id":5311764,"id":"Q5311764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$59F15226-EC94-4B50-A59A-79538EAE795A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d055dc7c04afe886fefd4352f7a9f841fe60e475","datavalue":{"value":{"entity-type":"item","numeric-id":4254684,"id":"Q4254684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$BED39C7B-5837-4A39-A0F5-53D580C406AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdb0dde45471f836029c311d17346c931119c80","datavalue":{"value":{"entity-type":"item","numeric-id":3032238,"id":"Q3032238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$9A27E8C8-6B1F-464B-8FAF-543599D63272","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":"Q2790280$9C96BC26-C660-4A62-8D17-5220C44E4B9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"009d03a1b3cf652dbe2e1f30a70aa5d9f10705ce","datavalue":{"value":"10.1090/PROC/12808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790280$EF41D9B9-10D5-497C-8F16-3434B1A01ECD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74c8b76085d71c70a2214abea3e283571b5e7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":6770925,"id":"Q6770925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$7E9B874C-E5CD-4490-918A-0616EBF88DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23f7e124212a492c9d972f12d1a41a3954f8147","datavalue":{"value":{"entity-type":"item","numeric-id":471690,"id":"Q471690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$22887FDD-43DA-40A9-A965-771E5B058BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b07e9bf28fa59d18d72d0bd8b490fe790edf85","datavalue":{"value":{"entity-type":"item","numeric-id":306577,"id":"Q306577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$21FCDDA7-F76F-47F6-8A7B-4119831F1D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"302d7f0c81a8743cc77e6f2ad3904a304b4c4c1e","datavalue":{"value":{"entity-type":"item","numeric-id":2651309,"id":"Q2651309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$0DC70E0B-74B7-4B32-9826-D67FD451E805","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a12997cba52887e5339b2b46ef722a5976bc4d46","datavalue":{"value":"In [\\textit{S.B. Cooper} and \\textit{R.L. Epstein}, Ann. Pure Appl. Logic 34, No. 1, 15--32 (1987; Zbl 0629.03016)], Corollary 1, the following result is obtained: for every low c.e. degree \\({\\mathbf a}>{\\mathbf 0}\\) and for every c.e. degree \\({\\mathbf b}\\) with \\({\\mathbf 0}<{\\mathbf b}<{\\mathbf a}\\) there exists a minimal degree \\({\\mathbf m}<{\\mathbf a}\\) such that \\({\\mathbf m}\\not\\leq{\\mathbf b}\\). In the present interesting paper, the authors strengthen the above result: for every c.e. degree \\({\\mathbf a}>{\\mathbf 0}\\) and for every degree \\({\\mathbf b}<{\\mathbf a}\\), there is a minimal degree \\({\\mathbf m}<{\\mathbf a}\\) such that \\({\\mathbf m}\\not\\leq{\\mathbf b}\\). This shows that every c.e. degree has the meet property, which was a long standing open question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790280$5BDD3E9D-83BE-4B33-9D57-2B9596E96C8E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3f64638a8e946e0d81e5fb7bc20fa3f4b6703c8d","datavalue":{"value":{"entity-type":"item","numeric-id":286989,"id":"Q286989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790280$22B0D7CC-49E3-4508-8D58-B5550414BA7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1046acdcd8347487d940a68891149b3542e31b","datavalue":{"value":{"entity-type":"item","numeric-id":4813778,"id":"Q4813778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6578843dbc37f14b4771a4b3cd7b67dba595590","datavalue":{"value":{"amount":"+0.7791908979415894","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":"Q2790280$D946DD91-6E98-4651-949D-1AB44B750349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772feb1fd035ce6681d968e29c7d7353febe0165","datavalue":{"value":{"entity-type":"item","numeric-id":5417040,"id":"Q5417040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c1ea4ba31686237d83d50cd28d2a4bbed9ff50","datavalue":{"value":{"amount":"+0.7620623707771301","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":"Q2790280$D13B4D39-1275-45E6-B982-B0131DE77106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edaa9c22b19cf000c6411145a2beceb81ca462ce","datavalue":{"value":{"entity-type":"item","numeric-id":5113922,"id":"Q5113922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f6bb5371cf8652eee17f647686e6f44f5c16d5","datavalue":{"value":{"amount":"+0.7616536617279053","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":"Q2790280$DF3A0234-BE7D-4368-8DFC-A139A2DE9804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158b5680389a4aef6ee870c0018b33f0f7e3865e","datavalue":{"value":{"entity-type":"item","numeric-id":3530389,"id":"Q3530389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfa48e0bdfe34eb8977e31ff2077ecc05ffb675","datavalue":{"value":{"amount":"+0.7589383125305176","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":"Q2790280$F49A941A-7F1F-445C-896E-A1E59A9A0173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3562c311ca1cd02c16661b8b405ab769cb3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":4683147,"id":"Q4683147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26593a9fc28f2b037d6d47a99d065d85d91e6cc1","datavalue":{"value":{"amount":"+0.7582420110702515","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":"Q2790280$3E159973-01CF-4F5D-AD8F-F706F352D3A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computably enumerable Turing degrees and the meet property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computably_enumerable_Turing_degrees_and_the_meet_property"}}}}}