{"entities":{"Q2300737":{"pageid":2311480,"ns":120,"title":"Item:Q2300737","lastrevid":78543077,"modified":"2026-05-06T11:50:41Z","type":"item","id":"Q2300737","labels":{"en":{"language":"en","value":"Computable numberings of families of infinite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175620"}},"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":"Q2300737$6585F875-CCD1-4955-9E76-6FE389CCE935","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e51a02ce2a26cba47f866f582d5c5ad850045ff","datavalue":{"value":{"text":"Computable numberings of families of infinite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300737$989B2E8C-3CB1-428D-885C-59158D9ADCFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43eaa2928dac85a3bce9a62c2d5f158c9f6bc539","datavalue":{"value":"1455.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$56C39E04-2044-4DEB-8C51-386C1B652FFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdb77eb03bcd924685d3668d6757983adce9cef","datavalue":{"value":{"entity-type":"item","numeric-id":2030133,"id":"Q2030133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$7908E523-92B1-4A0D-A9BF-C351C9CBC5AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$AFAE3415-640C-460D-9C11-25C643E6CF21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e44fcd86c7eea29fae45da530ceb696940234738","datavalue":{"value":{"time":"+2020-02-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":"Q2300737$1541A316-1300-4F68-A69B-A8ADC1E2DB57","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c84eac1d209641bd8a183b7aea6899843cb1d561","datavalue":{"value":"A Friedberg numbering of a set is an effective enumeration of the set's members without repetition. In [Bull. Acad. Pol. Sci., S\u00e9r. Sci. Math. Astron. Phys. 6, 1--5 (1958; Zbl 0084.24902)] \\textit{R. M. Friedberg} gave such an enumeration of the c.e. sets. This paper shows by diagonal argument that there is no such enumeration for the infinite c.e. sets. Extending these arguments to the analytical hierarchy, there is neither a \\(\\pi^1_1\\)-computable numbering for all infinite \\(\\pi^1_1\\) sets, nor a \\(\\varepsilon^1_2\\)-computable numbering for all infinite \\(\\varepsilon^1_2\\) sets. Moreover, that for \\(k>2\\) there is no \\(\\varepsilon^1_k\\)-computable numbering of the infinite \\(\\varepsilon^1_k\\) sets is a consequence of G\u00f6del's axiom of constructibility, whence existence of such an ordering is unprovable in ZF. Whether or not its nonexistence is provable in ZF is an open question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$DCC16B35-5F15-45F2-97F8-6A3E26065D59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$377AA46E-DBFC-4F4C-83DD-A3617FA3D348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$758FD2C3-C615-4725-BFEF-48CC47611E5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d43a91fd77a80c9ac270d728b0199ff482dc9ef","datavalue":{"value":"7175620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$1AB54ADE-EAEE-4B43-A8FF-EC619AFDCB45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$88812213-EB8F-4DB0-B139-5AAD32990061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e227294eb0dc60e96eb55ab92da87064d1510c6","datavalue":{"value":"analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$5603FC7E-F650-415E-9386-FDA1DA80D2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250f0bb5ab0d7024dc8790e00c338032ec305801","datavalue":{"value":"computable numberings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$784C9B2A-DB23-41A3-BBD4-E901562457F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51febf7731b10ff7bb420329c39d86a265280a8","datavalue":{"value":"Friedberg numbering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$A311D699-4245-4B48-97A2-77A4F21410FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d74592d84a65cc8f8e0fb47970464dca709779c","datavalue":{"value":"G\u00f6del's axiom of constructibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300737$3EB26E5C-06B5-4F19-BF3D-6241C7DCC203","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$115A28E5-9FA8-4725-87C0-EA2116677437","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":"Q2300737$D5509F92-8532-46E7-8920-E2CE4430483C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab05a6221f7f692b47886aa35cd2029fb375848","datavalue":{"value":"https://doi.org/10.1007/s10469-019-09540-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300737$0BD07426-93E0-409A-BA2B-ECB8A01DC111","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c1636e1e1a2341584aa87fa8700c0a9bc12123d","datavalue":{"value":"W2987637199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$6ADB4078-FC8C-4F76-AE2F-C799A56F8F82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b618cb66db84fe51222cde78ed5087a4d0863e","datavalue":{"value":{"entity-type":"item","numeric-id":5741347,"id":"Q5741347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$6D6E82EA-6104-4725-B215-7325B66933DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac45a1a5f1d8e5d5f6a48943dd5ca5598bb581d6","datavalue":{"value":{"entity-type":"item","numeric-id":4973206,"id":"Q4973206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$26535320-5C26-4B2D-8EEA-7ECF805385E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$CE2E3525-EEE4-4C00-A60C-21B0499ABE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09379f6dcac2e776d382e07e63cbf40d4a22470c","datavalue":{"value":{"entity-type":"item","numeric-id":2709299,"id":"Q2709299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$0045197C-F06E-45D2-937B-022FC8F60149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef9c19787bbfc431b45aaa18da9332546e45c22","datavalue":{"value":{"entity-type":"item","numeric-id":4677692,"id":"Q4677692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$ABC00D5B-9C25-4B78-82CF-9BE67601B0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d746df1f347ca0cfc7ddd94e4d8a63845ce61c","datavalue":{"value":{"entity-type":"item","numeric-id":5631088,"id":"Q5631088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$36CB0EC9-64D9-4E88-93F0-58DA5359BC92","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":"Q2300737$C1F1D5FD-64C1-48E5-8AA9-BF59AA4E321E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddd70fb9307baa76a2064c43fce88ffa925876a","datavalue":{"value":{"entity-type":"item","numeric-id":5772630,"id":"Q5772630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$B73337B8-DA3A-4057-B4CF-B8D59829DD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d64a0d3661fe159b2b8da41194d762b2661c10","datavalue":{"value":{"entity-type":"item","numeric-id":3265770,"id":"Q3265770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$94A612BB-72B7-4808-A909-C6E9970A89C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e37b2e98937c01a5635b9a3ed58a00c99f2bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5580117,"id":"Q5580117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$51B2A163-0213-453E-83FA-29770F354AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecdb065e82ed12c3d7557927e8bea615619a36","datavalue":{"value":{"entity-type":"item","numeric-id":5551456,"id":"Q5551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$CCC2CF84-51C7-4F0C-AC31-B566EFB874C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$8FA7E5F7-59E8-4162-9785-92A5F31839C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5356597163af7e0b69f82bce6b0c637c9e5ab0b","datavalue":{"value":{"entity-type":"item","numeric-id":3265771,"id":"Q3265771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300737$45AC2834-92B0-4EFA-858F-0DC339E17539","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8de3b946aa82c6e077822fbccf491e5a183fd920","datavalue":{"value":"10.1007/S10469-019-09540-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300737$84284AE3-ABCC-4B9F-9639-9207F0732D44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7900c93209cc92a37e3e2e06fafc49cc2862164b","datavalue":{"value":{"entity-type":"item","numeric-id":2213918,"id":"Q2213918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38acdaa17f83b6f559522f64055d3a6bca286334","datavalue":{"value":{"amount":"+0.8347371816635132","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":"Q2300737$153124C8-0AB3-4337-AD6D-CCC6740579F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8166f6aa9b9497e09f5d6dec6a075ea0fb74bff1","datavalue":{"value":{"entity-type":"item","numeric-id":695803,"id":"Q695803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537a4725079d50c1d49626a50bfcfa8752dfc8f9","datavalue":{"value":{"amount":"+0.8273203372955322","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":"Q2300737$250EC8C2-D094-40BA-8A29-59D7FE38D183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14fcaba9c16ba0b67f6a5a34364d99b84efdf133","datavalue":{"value":{"entity-type":"item","numeric-id":4451656,"id":"Q4451656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670e164f2b27fff3d6adc8be44d8d0c4be222e8a","datavalue":{"value":{"amount":"+0.8260822892189026","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":"Q2300737$B8B98B86-9357-4278-9C97-87A6A36CA5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"995b5cfff20dbf74e946a7e2c3f8f191a821005e","datavalue":{"value":{"entity-type":"item","numeric-id":1948664,"id":"Q1948664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c2fa6a57bb346f1f3cb8785071144bd84efb2b","datavalue":{"value":{"amount":"+0.8246082067489624","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":"Q2300737$A0555D16-203D-456F-AE1B-E214CBB38D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bb26e2b7292f590e27fd9203211c7413e6940c","datavalue":{"value":{"entity-type":"item","numeric-id":1731521,"id":"Q1731521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77289a8c7a187838715a4cf5963ca8e011c582fb","datavalue":{"value":{"amount":"+0.8215386271476746","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":"Q2300737$CB5D2F81-3833-43ED-93B6-35F075B0FDC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable numberings of families of infinite sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_numberings_of_families_of_infinite_sets"}}}}}