{"entities":{"Q1307161":{"pageid":1317911,"ns":120,"title":"Item:Q1307161","lastrevid":70664526,"modified":"2026-04-13T16:02:16Z","type":"item","id":"Q1307161","labels":{"en":{"language":"en","value":"Completely recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1353825"}},"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":"Q1307161$923B0584-A3F5-4A0E-AC7B-DA388ECD478B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4c1e13abff9237af2f4673a5d914a28716e1634","datavalue":{"value":{"text":"Completely recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307161$814A9FE9-FA6C-4888-A0CC-CBBD5B4C0AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15449b770e8fe570e5a2d1b2791089e092a71b8d","datavalue":{"value":"0924.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307161$1FA51601-AEEA-4167-ABF6-59548EA83F50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307161$920E0579-39FD-4620-BA50-40D798EB02EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307161$6DB531A5-9C73-400B-A192-94C832CB2264","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15f4d7ab8be927e7d6e29dfee33b74d24baf9203","datavalue":{"value":"A subfamily \\(W\\subseteq V\\) of a numerated set \\(\\langle V,\\alpha\\rangle \\) is called completely enumerable provided the set of its \\(\\alpha\\)-numbers, \\(\\alpha^{-1}(W)\\), is recursively enumerable (r.e.). For a computable family \\(V\\) of r.e. sets, a subfamily \\(W\\subseteq V\\) is called a completely enumerable subfamily of \\(V\\) if it is a completely enumerable subfamily of \\(\\langle V,\\alpha\\rangle \\), for each computable enumeration \\(\\alpha\\) of \\(V\\). A family of r.e. sets \\(V\\) is called an effectively open subfamily of \\(W\\) if, for some strongly computable sequence \\(\\{F_i\\}\\) of finite sets, the following holds: \\(\\forall A\\in W\\) \\((A\\in V\\Leftrightarrow\\exists i (T_i\\subseteq A))\\).   There are some well-known descriptions of completely enumerable subfamilies of numerated sets with principal enumerations (references can be found in the article under review). To study a more general class of enumerations, the author introduces the notion of a Rice family. A computable family of r.e. sets is called a Rice family provided all of its completely enumerable subfamilies are effectively open.   Then the author proves a series of sufficient conditions for families to be Rice and notes that there exist Rice families which fail to possess a principal computable enumeration. He also proves that there are no nondiscrete Rice families of recursive functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307161$34763636-0852-4A0C-ADEA-6020892D065B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307161$652CDF8A-9B84-4DA8-88D4-6F2F7AB60679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ec5040fa9144cde5852c5dc369c8d6f2a2da88","datavalue":{"value":"1353825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307161$94528B1D-CA8D-4705-9E4B-BE2E4A087523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cbbcb26aea71ca927877f3454a9f99ee2b37db","datavalue":{"value":"numeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307161$B9BC365B-E383-4C51-97E4-BC605401E914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72bd861ecc038a29fe6e6c5fe79a0a8ed9c83b7","datavalue":{"value":"numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307161$E8243A7B-330C-4223-9C6D-13A5A31C2848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ffb9a0a5f8141fa335752f5354b29a00de71b5e","datavalue":{"value":"completely enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307161$87276553-14F8-4BAA-B1E4-220EF6D85A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e863432d5ca2bea7c96ebfe7ec92d1f53fbb279","datavalue":{"value":"Rice family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307161$D2686D21-C5B0-4CCF-9AEC-2A6E71067B6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37fc24e4a974a9286ddfc0831c023b1c979aeb12","datavalue":{"value":{"entity-type":"item","numeric-id":1943921,"id":"Q1943921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307161$A427C72A-506D-4DEC-A333-49F3C6E171E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307161$9733E2AC-7CFA-432C-BF26-EF474891D28E","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":"Q1307161$E7BDE9D3-A1C9-4F03-AC42-13BD1F1110EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa82fb2b23cba5df784637126e0cb2a0e7f9ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3600774,"id":"Q3600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916f70390d4f0a7b2d7fb9b51c6443438b18af10","datavalue":{"value":{"amount":"+0.7756616473197937","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":"Q1307161$53533529-38C2-4D1D-9CDC-A1B81C3606ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b16efa721a9b849da65dede4671f00a4dc08283d","datavalue":{"value":{"entity-type":"item","numeric-id":3220577,"id":"Q3220577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f97387e67366d80394ec6289577bafd30be3e2","datavalue":{"value":{"amount":"+0.7651730179786682","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":"Q1307161$13B6E814-8ADD-4FC0-96FA-1D4785680612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07684468a58ab6545809660c02162c0bebfd1b71","datavalue":{"value":{"entity-type":"item","numeric-id":3195700,"id":"Q3195700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e4a1c6313cd6d529cf33c949d5cfebd7cda67c","datavalue":{"value":{"amount":"+0.7589422464370728","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":"Q1307161$98D892A4-4958-448D-8110-18F168D2049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c45b62599a5afa4411a27583934e7960e7c06d","datavalue":{"value":{"entity-type":"item","numeric-id":3990702,"id":"Q3990702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7485ae1d878680d3b9673335a932de801d931014","datavalue":{"value":{"amount":"+0.7478160858154297","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":"Q1307161$62476927-3A78-45FE-9156-4A23A6D47434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6778482679ab652a7bd6b8920d7b6967d76a65","datavalue":{"value":{"entity-type":"item","numeric-id":3832555,"id":"Q3832555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab54af79e7fd7e0aa002d18e4c4eb3d156e9184","datavalue":{"value":{"amount":"+0.7469340562820435","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":"Q1307161$C172EBF1-0A6F-41DA-92BC-DA4F29E01A8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completely recursively enumerable sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completely_recursively_enumerable_sets"}}}}}