{"entities":{"Q2370372":{"pageid":2381115,"ns":120,"title":"Item:Q2370372","lastrevid":50120810,"modified":"2026-01-13T05:13:16Z","type":"item","id":"Q2370372","labels":{"en":{"language":"en","value":"On definable filters in computably enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5166887"}},"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":"Q2370372$0F5422B5-033A-4A20-B7A7-97D6866FE433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e08846d0a11e8a830a79aa935601358970ef502f","datavalue":{"value":{"text":"On definable filters in computably enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2370372$15783658-1B13-4BAE-B8F2-5BCFBF1829EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdaef4a911b0555dcd7664a63b6ff8fb10a0a97f","datavalue":{"value":"1117.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370372$5BA2A1E0-F52D-40AB-AA1F-CEE914869FBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243882715d297243a0be5f7aa49421366a9fb681","datavalue":{"value":{"entity-type":"item","numeric-id":386618,"id":"Q386618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$1917CCBC-2219-4C66-AB79-6528D9CE782C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb78d6e16e1b42b714676493ccae392d5911af","datavalue":{"value":{"entity-type":"item","numeric-id":162006,"id":"Q162006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$BE95B5AB-AA53-472A-876E-268EEA86514D","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":"Q2370372$F013D48C-9EEC-4C74-851C-3D081E6B6ABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cd721a81f78a1fb642f4018167f2e4eef0f2e23","datavalue":{"value":{"time":"+2007-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2370372$5B2F6612-9F1D-4ECA-BDC2-B050E091058F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4768a8f88f907e5c868a3cd9eee7e7735100f68","datavalue":{"value":"Shore had posed the problem of the existence of (naturally) definable filters in the structure of c.e. degrees, other than the known example of \\textbf{NC}, the set of noncappable c.e. degrees. He also posed a parallel question regarding ideals, which Nies subsequently addressed. The present paper adapts Nies' results to show that filters generated by definable sets are themselves definable. In particular, let \\({\\mathcal F}_1\\) denote the filter generated by the set of c.e. degrees that can be cupped to \\({\\mathbf 0'}\\) by a cappable degree, and let \\({\\mathcal F}_2\\) denote the filter generated by the set of Lachlan-Harrington nonsplitting bases. Then \\({\\mathcal F}_1\\) and \\({\\mathcal F}_2\\) are definable. The authors prove that \\({\\mathcal F}_1\\), \\({\\mathcal F}_2\\), and indeed the filter generated by their union are proper subfilters of~\\textbf{NC}. They further show that \\({\\mathcal F}_1\\not\\subseteq{\\mathcal F}_2\\), leaving the possibility of \\({\\mathcal F}_2\\subset{\\mathcal F}_1\\) as an open question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370372$2FE2E696-AB7B-46D0-B503-C70A822EB101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370372$723F09D6-1EA2-40ED-B3F1-F538A59AE6C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f2355d5b0fb7231f7cd6e7834592ed2d890f71","datavalue":{"value":"5166887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370372$9ADF6B1E-8710-44FF-B511-B75374791F70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e07bbf130adf319eaaf71c937ccbb3275dc7d7","datavalue":{"value":"computably enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370372$F9C1C31A-7493-4BF9-A033-ECA1B1A765FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25ed72334931a549e6a549c6429efbf074ea25b","datavalue":{"value":"definable filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2370372$50C00B4B-1D6F-4AD0-9934-D1591360D6C4","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":"Q2370372$AA8263B2-F314-42C2-9DB1-974B811CF0C2","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":"Q2370372$0B5B6CC9-CF27-4CEE-B133-9E4A6A10BD6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f86ab9454f6809aa12a2acad99bb3898ac27786f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2370372$C69175B2-27A1-4613-AED9-C1566AE53D09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08e742720fbbf103cdc33c69c5e5761bfe7bc4f9","datavalue":{"value":"W1971195245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370372$805D99B6-6C7A-444E-99F7-D8936C13F8B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b9033ba35993e00a698f81a10db56ba3ea1d21","datavalue":{"value":{"entity-type":"item","numeric-id":3698790,"id":"Q3698790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$0F8BCB8A-F652-4CD8-8581-9E99907A36D2","rank":"normal"},{"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":"Q2370372$FFAB0D9C-C9E4-4FE7-BA13-2BA6148BE3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d8a55fb99fcd8a558c5c43815a58a31987db8b","datavalue":{"value":{"entity-type":"item","numeric-id":4286357,"id":"Q4286357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$4684522D-8004-4263-ADCB-45B49F198A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$87E987BC-92A7-43A5-B05A-5BC4FF0F05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55180f2f8eb677cb774c65640829282612935f44","datavalue":{"value":{"entity-type":"item","numeric-id":4694275,"id":"Q4694275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$BC1039C1-A7EF-4715-ADEA-9AD3D08B85DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654f717b930cbace7136731cda8419f1178f1747","datavalue":{"value":{"entity-type":"item","numeric-id":4128552,"id":"Q4128552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$81E3E790-1589-4088-8B9E-AE1C7E8D1C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3778d1cd528c3eedba6b271c06d10a0268bddc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4358047,"id":"Q4358047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$5299B97C-77B9-4DDC-A2F0-B4BE6C976F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03521d64425b3a96d88a59d7ca3f8a4e74709a22","datavalue":{"value":{"entity-type":"item","numeric-id":4408481,"id":"Q4408481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$9CD294D7-42F2-4B07-AF07-B4EC314965B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c008f44aea72219beafb17df7c629a39a28069f9","datavalue":{"value":{"entity-type":"item","numeric-id":2560238,"id":"Q2560238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$29C0A29D-C7D0-4B2C-9CF2-CAC5275B3B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5927a60081b92fd9e3b6aa5f5e2070f803e78b6","datavalue":{"value":{"entity-type":"item","numeric-id":4513977,"id":"Q4513977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$68D20E2E-B8F4-4F21-B890-3A941E8C5893","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":"Q2370372$85E1A49D-D80C-4AD1-AD30-E3837C7DA04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a254ea562ec7c11e90cc6e4563f9277d0f5c6c2a","datavalue":{"value":{"entity-type":"item","numeric-id":877264,"id":"Q877264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$0B3EACD4-7BCF-47DF-A728-988D61D1E81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95b447d2f4a1fe1624899f94aac47ac8fe461","datavalue":{"value":{"entity-type":"item","numeric-id":3370764,"id":"Q3370764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2370372$C26B7F4F-A952-47D9-884C-D5C9C7A6FAA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4a3535eaee96fa69c5b8db4ead232912a57e7b1","datavalue":{"value":"10.1016/J.APAL.2007.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2370372$9EA29847-9900-4779-A1BD-EB553DB06E36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c4b7884b022789ce8965c259f298ff31d2860a","datavalue":{"value":{"entity-type":"item","numeric-id":3370764,"id":"Q3370764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"958a8376aac5682df98b98a89bbef2c3be50a8dc","datavalue":{"value":{"amount":"+0.7893050909042358","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":"Q2370372$7D07B925-140F-4BAA-BD04-D421E2DAC628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19846fe44288b7cd5ae7fc1cc939af933c575454","datavalue":{"value":{"entity-type":"item","numeric-id":3502638,"id":"Q3502638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbbebffa5137b46d6e5ce814b307597104243cf","datavalue":{"value":{"amount":"+0.7786040306091309","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":"Q2370372$1C02C934-9F09-444C-B89C-40F9D9AAD169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7105f10a640f2d91800f00b89cb3b20412c473f5","datavalue":{"value":{"entity-type":"item","numeric-id":4513973,"id":"Q4513973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e06d3908420b17cc378103881b2711ea3df7a5","datavalue":{"value":{"amount":"+0.7777713537216187","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":"Q2370372$0CFE734E-D4D8-4382-A09F-6FF114F13F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b066f13020ba65d6877cf093b840be27d04bd9c","datavalue":{"value":{"entity-type":"item","numeric-id":877264,"id":"Q877264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5debd2b25a2fae910c95c5d9080c9bdb58eab548","datavalue":{"value":{"amount":"+0.7651855945587158","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":"Q2370372$E4D7E09E-6CB1-4422-8641-BF0ECC5271BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba4817456c9d895be481d4faf80fe052f39b84e","datavalue":{"value":{"entity-type":"item","numeric-id":695800,"id":"Q695800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4afa63f22fa326f3d2a1fb863716b17182c67a9","datavalue":{"value":{"amount":"+0.760644257068634","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":"Q2370372$3C219886-F915-4E5E-A36C-E3B919E06444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2370372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2370372"}}}}}