{"entities":{"Q1820773":{"pageid":1831515,"ns":120,"title":"Item:Q1820773","lastrevid":70909074,"modified":"2026-04-13T18:10:43Z","type":"item","id":"Q1820773","labels":{"en":{"language":"en","value":"Effective choice functions and index sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995651"}},"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":"Q1820773$733AE8EE-428D-4C0A-A378-2CD79A9EA6A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8607a72b6272400d85f208b749f03994812020ba","datavalue":{"value":{"text":"Effective choice functions and index sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820773$A3504C43-4DDC-4C45-A877-FDC1C0DD3DE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47fc672f1bd5ef9a946c03d6effbf0628801768e","datavalue":{"value":"0615.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820773$F5D0F72E-FDF6-4748-8434-AE51E6C9AC60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb97c9ff63ddba119f419ea642621aa29372e83f","datavalue":{"value":"10.1016/0022-0000(86)90035-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820773$C65155B7-0F6B-4164-B163-469ECBF43737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$A6C7F7FF-BAF8-42D7-B166-8412E942F716","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1820773$AA31C057-AFEA-45D3-886F-E22134CFA50C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a5da6eaea6a2ccdf5892226afc8de16c6bcb719","datavalue":{"value":"This short and well-written paper gives a complete proof of the following result (generalizing - as the author mentions - some previous unpublished work of John Case): Let h be an effective choice function (i.e., h is partial recursive with dom(h)\\(\\subseteq {\\mathcal P}(\\omega)\\) such that h(A)\\(\\in A\\) whenever h(A) is defined) whose domain includes all infinite subsets of \\(\\omega\\). Let \\(Z=\\{h(I(n))|\\) \\(n\\in \\omega \\}\\) with \\(I(n)=\\{m|\\Phi_ m=\\Phi_ n\\}\\). Then Z is strongly effectively immune, i.e., Z is infinite and there exists a recursive function f such that \\(ran(\\Phi_ x)\\subseteq Z\\to \\max (ran(\\Phi_ x))<f(x)\\) for all \\(x\\in \\omega.\\)    A further generalization of this result yields as a corollary the theorem on size measures of \\textit{M. Blum} [Inf. Control 11, 257-265 (1967; Zbl 0165.021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820773$5141E145-6005-47F6-80D1-024024854D0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820773$0A71BDB8-53F1-406A-8EC8-1B2FA93D286B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc8694925893039a40ada32ff7fd49d0669d7aa","datavalue":{"value":"3995651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820773$8C84C615-0A68-4352-8882-5ACCF39ABC9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e82b3dc78beb7d79bac87bfe315c6ed69090610","datavalue":{"value":"strongly effectively immune set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820773$E440F220-3534-4D2B-9F96-9F521C51A73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac3d5eb6806df6df4912548841525de64affc03","datavalue":{"value":"effective choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820773$E70323A7-FB06-4402-8194-5099C21059C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d41c7d7619e79f014b4c9ed4961e92ec433aa5","datavalue":{"value":"size measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820773$312A2ECE-90F9-48C4-9573-935DF30312D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd561545deec8fab09cfc2c54c772a4bf11dda2","datavalue":{"value":{"entity-type":"item","numeric-id":1053726,"id":"Q1053726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$97141298-998A-4D88-A159-F1B9DDC8CF73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bdc018b891b8556a7fdf66d138a7f3eb40fd760f","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$A66DF60A-F5B8-486A-AD9D-5D6E8A1CFFDF","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":"Q1820773$E6A754CE-FFCB-43A1-95BC-B704F1E8CC9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b73a7918e94458b8003c319458b8e1d4d70c5817","datavalue":{"value":"https://doi.org/10.1016/0022-0000(86)90035-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820773$76EF17C8-78AF-4E04-BD3D-9376719703D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcc09e022464ab07e13176acf85f7861693bb03d","datavalue":{"value":"W2064732075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820773$EEA5EB00-D2E3-4F4E-9CD7-125B3627592C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0596e5c599613b80ada37fb1d40e1b8f50bde8d","datavalue":{"value":{"entity-type":"item","numeric-id":5549809,"id":"Q5549809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$60E1A5E3-B280-4355-9D3A-56347906669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc858e204245d49f72b64a4aeb12c67d57861e0","datavalue":{"value":{"entity-type":"item","numeric-id":4055150,"id":"Q4055150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$30827E60-57A7-4205-90D4-36EC9F614259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820773$C303F97E-B65D-4558-B372-AC2234D8C7B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa17ecd68fc7afa5d6b61c40786ce384e1dd9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1064952,"id":"Q1064952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30c5992b4bdbc2a6e72943e3435a1cd60aff1ab","datavalue":{"value":{"amount":"+0.8551941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$14718C46-CE13-46BD-8523-DDD525F4F2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3289caa932a2429d815ff4eee208dec644da37b","datavalue":{"value":{"entity-type":"item","numeric-id":3520385,"id":"Q3520385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9700a50924c368dcef6cbb8cc62583c20e074f5","datavalue":{"value":{"amount":"+0.85361445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$B71F859D-AA8B-4879-8D3A-74BD71962B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a6de586970447fedd54e37c7b268743d44ed0f","datavalue":{"value":{"entity-type":"item","numeric-id":1016094,"id":"Q1016094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883f521c3edcfb9a2a292ad55719b311543525ba","datavalue":{"value":{"amount":"+0.8535557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$E1CED947-76BE-4BA0-99A5-3323BB9BDF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e398476fc28ab8d0e832560194bd0da6ab0fe0","datavalue":{"value":{"entity-type":"item","numeric-id":2940814,"id":"Q2940814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d40e3a58eb484373ec1e3b21b7b27a83811659","datavalue":{"value":{"amount":"+0.849236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$040CD3A7-70BD-47FB-B400-F06E9D12623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786b0c25e3d905f2a20f3eb57b8918b2d5b5d9f7","datavalue":{"value":{"entity-type":"item","numeric-id":2726410,"id":"Q2726410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3e45cff9c3fddcd9cd26782ff00be04dd3dc23","datavalue":{"value":{"amount":"+0.8458868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$CB89A372-3FDB-4566-AF39-F92944CAEB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9083f8652fa45f0013b8a56c98baa826b8c4c012","datavalue":{"value":{"entity-type":"item","numeric-id":4909597,"id":"Q4909597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d09c7914f492aa6f5e6ecb294d4fa230664018","datavalue":{"value":{"amount":"+0.83922094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$A377BF39-0F62-496F-85E6-7DE81D41A52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce4b43167b618ca9db5e5cebcd9d1993a219eca","datavalue":{"value":{"entity-type":"item","numeric-id":1072545,"id":"Q1072545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b53e53b40a26de5e2a06763ee0f6be73386ee0d","datavalue":{"value":{"amount":"+0.8388772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$B9536A98-7CA3-4F1F-9F7E-03EC496C66A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e73bc18af968e3399ddc7afc28b9c66f069e6c","datavalue":{"value":{"entity-type":"item","numeric-id":1093229,"id":"Q1093229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82719dd475f63e87e69d6e53438ddd0abcd0e196","datavalue":{"value":{"amount":"+0.83781207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$FD646762-D8C4-4ADB-B1F6-27F8CD1FC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6749755e16096517a275fd057870d361e2c94deb","datavalue":{"value":{"entity-type":"item","numeric-id":1005816,"id":"Q1005816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4555e4646e820dfb9b4a3544f635e0771d1806ff","datavalue":{"value":{"amount":"+0.8376387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$20F5638E-7892-42AE-9E52-144FEDDF2351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b81e96f2bed243d60df73e5c8f5e086cf3a51c","datavalue":{"value":{"entity-type":"item","numeric-id":5937144,"id":"Q5937144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c495fd00436dba9daf6a8d0e2676df1a6eebdb90","datavalue":{"value":{"amount":"+0.8366326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820773$D8AA11C6-D78B-4C7C-AF04-960D186EABD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective choice functions and index sets","badges":[]}}}}}