{"entities":{"Q908905":{"pageid":910753,"ns":120,"title":"Item:Q908905","lastrevid":65326248,"modified":"2026-04-12T01:49:43Z","type":"item","id":"Q908905","labels":{"en":{"language":"en","value":"Set-mappings on Dedekind sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4135930"}},"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":"Q908905$9464993E-6DB9-42E5-82E9-B384B48B3A6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9ef1bf851138a3762f2b9daa058a1df8234db88","datavalue":{"value":{"text":"Set-mappings on Dedekind sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q908905$48A8E29A-6A08-4F89-B314-5264FBA67177","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f530f11a1bed8e5a4cb871d22cb19da3a054407","datavalue":{"value":"0694.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$3634B7F8-1325-4E7F-B7A9-2706A80CA416","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02670f9ec29c838cd29297cea03eeca03c7f84ee","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908905$AACED839-81F7-4EEA-9E1E-3E7A7ADB01EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908905$D557BE05-A6E2-47B9-839F-B789E68DFB80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q908905$8C644F44-E9F3-4E8B-9447-729E86123264","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3be220dadd770c2ef148e7de46621e515a63f61b","datavalue":{"value":"Let \\([X]^{wo}\\) denote the ideal of well-orderable subsets of X. Taking off on the work of \\textit{C. Freiling} [J. Symb. Logic 51, 190-200 (1986; Zbl 0619.03035)], the author proves:    Theorem 1: In ZF, the following assertions are equivalent: (i) AC, (ii) For every set-mapping f: \\(X\\to [X]^{wo}\\), there is a co-well-orderable free set H (i.e., \\(X-H\\in [X]^{wo})\\), (iii) For every set mapping f: \\(\\kappa\\) \\(\\to [\\kappa]^{<\\lambda}\\), \\(\\lambda <| \\kappa |\\) (\\(\\lambda\\) a well-orderable cardinal number, \\(| \\kappa |\\) the not necessarily well-orderable Scott cardinal number of \\(\\kappa)\\), there is a free set H of cardinality \\(| \\kappa |\\), (iv) If S: \\(X^{\\leq \\vartheta}\\to P(E)\\) is a ramification system, then, for each \\(g\\in E\\), there is an f which is maximal (with respect to inclusion) in \\(\\{h\\in X^{\\leq \\vartheta}:\\) \\(g\\in S(h)\\}\\). Now consider the proposition \\(PAC_{fin}:\\) Every infinite family of nonempty finite sets has an infinite subfamily with a choice function. Let W be the statement that all Dedekind-finite sets are finite. If we omit ``finite'' from \\(PAC_{fin}\\), the result turns out to be equivalent to the countable axiom of choice \\(AC^{\\omega}\\), whereas, if we restrict \\(PAC_{fin}\\) to countable families, the result is equivalent to \\(AC^{\\omega}_{fin}\\), the axiom of choice for countable families of finite sets. In ZF, we have \\(AC^{\\omega}\\Rightarrow W\\Rightarrow PAC_{fin}\\Rightarrow AC^{\\omega}_{fin}\\). The author proves:    Theorem 2: In ZF, \\(PAC_{fin}\\) is equivalent to the assertion that every set-mapping f: \\(X\\to [X]^{wo}\\), \\(x\\not\\in f(x)\\), on a Dedekdind-finite infinite set X has an infinite free subset. Moreover, \\(AC^{\\omega}_{fin}\\) is equivalent to the modified statement that every such mapping has arbitrarily large finite free subsets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q908905$8E500D09-B8EF-48F0-9CCC-03BED8141383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$E573223D-A1B8-480A-A257-6F7D01CDE0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$8F8F7492-8AB8-4E2D-B86C-786A9E35C47B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a644fe4d0eacb526e1a8b70557e6d62ee8ee4d41","datavalue":{"value":"4135930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$CDF13EFD-0066-4A83-A1D4-BCCB1AF7B08F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q908905$E616AE53-51EF-4687-AF12-8C6BB8B276C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c7b2955c536d3490b9cf81ea8676f2519f40","datavalue":{"value":"Hajnal's free set principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q908905$AB78E6C8-CAA5-421C-86EF-52F036E47794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd46eb805ee96acadef423e874eb29e2267060c","datavalue":{"value":"Dedekind-finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q908905$D6AB0EBF-9F4B-4AD0-AE30-17442D2104C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b0e7cde67f843ecdfbcdc40dc995878dd6f881","datavalue":{"value":"countable axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q908905$BFBA0FBB-ABBF-43A8-8CB9-72A47FB80A37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q908905$BCB398BB-C74A-41D5-8E73-1C612EBAA7DD","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":"Q908905$E7621ED2-262F-4D8F-AB35-849B724B266F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74016c7a553dbdd9e3407669230d5c4855940dd8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635083","type":"string"},"datatype":"url"},"type":"statement","id":"Q908905$ACB54B6C-44A3-4855-BA2A-C4342C4CB193","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891c3c272e7858c7a217356978731adb9bda4bc1","datavalue":{"value":"W2074116712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$7710EEED-2101-4C8F-BB99-84FAC78F004E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5f4db0ea59168b3990ef0835d62b7f9342056fb","datavalue":{"value":"10.1305/NDJFL/1093635083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q908905$6A159617-EA55-4549-B9AE-40F1C2CDCA87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34720e43c4c9825ca53d881abb9622baa9fd79e0","datavalue":{"value":{"entity-type":"item","numeric-id":3285727,"id":"Q3285727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bdb05def1be5ebf64b429a92d9d14253031440","datavalue":{"value":{"amount":"+0.9301087","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":"Q908905$DFFB9862-E027-44F5-B23F-FE855C3B3F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc2718e404f248d386fc2f9f680a80c9f2e5803","datavalue":{"value":{"entity-type":"item","numeric-id":5288829,"id":"Q5288829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b19cae7cc0c64958b7707c9b48f0973ca664117","datavalue":{"value":{"amount":"+0.9139313","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":"Q908905$C05BA2F1-75EF-418A-BB59-9914B41123C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b09a48e62232b3b269eaf289114dc5c897c0bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3013605,"id":"Q3013605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785c7470fd258b17f9120f5b3edf29d16aa12c61","datavalue":{"value":{"amount":"+0.9110037","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":"Q908905$CD84E287-9DFB-40BD-8470-BDF579570390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c79bdc5d26237e464387b4f214d77ba3837b4b0","datavalue":{"value":{"entity-type":"item","numeric-id":4046707,"id":"Q4046707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0a450df0824edeb7c2f53b010e8fa588713404","datavalue":{"value":{"amount":"+0.9042635","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":"Q908905$D33B746C-0B91-4D1B-8A68-E7D573780FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f78db5c0e27a3d97c6036875e93a06b237beb7","datavalue":{"value":{"entity-type":"item","numeric-id":4723733,"id":"Q4723733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373f0087045f257da93d36f912c7c38da9832b7b","datavalue":{"value":{"amount":"+0.9023154","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":"Q908905$4379FE69-FEAE-41AC-9E52-0469CC773650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683dbc6cd4eaee9d482d9758953786950fc95a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3017473,"id":"Q3017473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f1f138ecef36a2fd00cd8e83e5a05234b7b0ba","datavalue":{"value":{"amount":"+0.8980573","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":"Q908905$B22CAD9D-0F2E-469F-9B35-DB7BD2D78842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72bd85e5c3e30ec05d500a8cef0310a88d27bf65","datavalue":{"value":{"entity-type":"item","numeric-id":3136938,"id":"Q3136938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4edf06579e2fae083f12f7ec869ce2d9c379a1","datavalue":{"value":{"amount":"+0.8967056","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":"Q908905$F7D27049-F717-4928-9FC3-C47031A2F5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a12d9ec7072ddc694434ec6973d36edde467e7","datavalue":{"value":{"entity-type":"item","numeric-id":5344989,"id":"Q5344989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408514a34fefe914e4ce65350eac9a131974fbdf","datavalue":{"value":{"amount":"+0.89511025","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":"Q908905$124D4854-A4C9-4F34-A2B1-FBDDA448E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8ffb93bb1d321f3af0532c489151ff45a0994f","datavalue":{"value":{"entity-type":"item","numeric-id":1985619,"id":"Q1985619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c91f37af4f996d68575f3a7ede444947915a445","datavalue":{"value":{"amount":"+0.8918878","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":"Q908905$301BB9B0-BB4A-4248-BAB0-0444A8EDBA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cb0e36f9ffea3cc710e0fabcf29bffc57619e86","datavalue":{"value":{"entity-type":"item","numeric-id":4870500,"id":"Q4870500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f64fc77a6bc43088e5392c17cd46c1692d0481c","datavalue":{"value":{"amount":"+0.89120024","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":"Q908905$4338F637-38EC-4B15-B26C-6C247ABA757C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set-mappings on Dedekind sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set-mappings_on_Dedekind_sets"}}}}}