{"entities":{"Q6103507":{"pageid":13237814,"ns":120,"title":"Item:Q6103507","lastrevid":55453594,"modified":"2026-02-17T16:44:58Z","type":"item","id":"Q6103507","labels":{"en":{"language":"en","value":"Independent families and some notions of finiteness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691803"}},"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":"Q6103507$6A3DE21D-6F96-4E20-A80A-A8605CDFC341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f5c16ff9c7d5e09f0531a5d86170788578700c","datavalue":{"value":{"text":"Independent families and some notions of finiteness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103507$B9E6DB8C-7367-4DE7-BCAE-58C343931ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bce7d63f093bb0b738fa1bffe8c943a9f307ad3d","datavalue":{"value":"1528.03204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$EC26DC91-5B9F-4A28-99FB-88752B52797F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d83d7dd0cc64d3d82ff444f5d4c37d658153684","datavalue":{"value":{"entity-type":"item","numeric-id":1430901,"id":"Q1430901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$AA2692D2-1D3B-4CC5-B6BD-8205CC0EA395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6273540151de6b50478b0223910a58dad6446825","datavalue":{"value":{"entity-type":"item","numeric-id":306169,"id":"Q306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$5C0C4BE1-187F-4DBF-A6B3-68258468BD3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$51AFE7FE-71CF-4B91-8D59-99BFD92FE03D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8660296342fed4fbe5b76d095c9c4f3b9b5c1bb","datavalue":{"value":{"time":"+2023-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103507$F77E2D8B-C5B5-41E0-8795-2560265825AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1162837594bf50a381efe6dfa5db32743433459","datavalue":{"value":"In the paper under review, the authors investigate the deductive strength of the following well-known theorems relative to the axiom of choice (\\(\\mathrm{AC}\\)) and weaker forms of \\(\\mathrm{AC}\\): \\begin{itemize} \\item The \\textit{Fichtenholz-Kantorovich-Hausdorff theorem} (\\(\\mathrm{FKHT}\\)): ``For every infinite set \\(X\\), \\(\\mathrm{Id}(X)\\)'', where \\(\\mathrm{Id}(X)\\) is ``\\(X\\) has an independent family of size \\(|\\wp(X)|\\)'';  \\item the \\textit{Hewitt-Marczewski-Pondiczery theorem} (\\(\\mathrm{HMPT}\\)): ``For every infinite set \\(X\\), the Cantor cube \\(2^{\\wp(X)}\\) has a dense set of size \\(|X|\\)'';  \\item the \\textit{strong Hewitt-Marczewski-Pondiczery theorem} (\\(\\mathrm{SrmHMPT}\\)): ``For every set \\(k\\) and every family \\(\\{\\langle X_{i},\\tau_{i}\\rangle:i\\in I\\}\\) of topological spaces such that \\(|I|\\leq |2^{k}|\\) and each \\(X_{i}\\) has a dense subset of size \\(\\leq |k|\\), the product space \\(\\prod_{i\\in I}X_{i}\\) has a dense set of size \\(\\leq |k|\\)''. \\end{itemize}  The authors also determine the relative strengths in \\(\\mathrm{ZF}\\) (Zermelo-Fraenkel set theory minus the \\(\\mathrm{AC}\\)) between \\(\\neg\\mathrm{Id}(X)\\) and some of the notions of finiteness studied in \\textit{A. L\u00e9vy}'s paper [Fundam. Math. 46, 1--13 (1958; Zbl 0089.00702)]. Typical results are: \\begin{itemize} \\item[1.] \\(\\mathrm{FKHT}\\) is not a theorem of \\(\\mathrm{ZF}+\\mathrm{BPI}\\) (where \\(\\mathrm{BPI}\\) denotes the Boolean prime ideal theorem: ``Every Boolean algebra has a prime ideal''). \\item[2.] \\(\\mathrm{FrmKHT}\\) is equivalent to \\(\\mathrm{HMPT}\\). \\item[3.] \\(\\mathrm{ZF}+\\mathrm{BPI}+\\mathrm{FKHT}\\) is consistent with the existence of an infinite, Dedekind-finite set of reals (i.e., an infinite set of reals with no countably infinite subsets). Thus, \\(\\mathrm{FKHT}\\) is not equivalent to \\(\\mathrm{AC}\\) in \\(\\mathrm{ZF}\\). \\item[4.] \\(\\mathrm{SHMPT}\\) is equivalent to \\(\\mathrm{ArmC}\\). \\item[5.] \\(\\mathrm{ZF}\\) \\(+\\) ``Every Dedekind-finite set is finite'' is consistent with \\(\\neg\\mathrm{FKHT}\\). \\item[6.] For any infinite set \\(X\\), ``\\(|X\\times X|=|X|\\)'' implies \\(\\mathrm{Id}(X)\\), which in turn implies ``\\(\\wp(X)\\) is Dedekind-infinite'' and ``\\(|[\\wp(X)]^{<\\omega}|=|\\wp(X)|\\)'' (where \\([\\wp(X)]^{<\\omega}\\) denotes the set of finite subsets of \\(\\wp(X)\\)). \\item[7.] There exists a model of \\(\\mathrm{ZF}\\) in which there is an infinite set \\(X\\) with no infinite, linearly orderable subsets (such a set \\(X\\) is called \\textit{\\(\\Delta_{3}\\)-finite} according to \\textit{J. Truss} [Fundam. Math. 84, 187--208 (1974; Zbl 0292.02049)]), and for which \\(\\mathrm{Id}(X)\\) is true in the model. Hence, in \\(\\mathrm{ZF}\\), ``\\(X\\) is \\(\\Delta_{3}\\)-finite'' does not imply \\(\\neg\\mathrm{Id}(X)\\). \\item[8.] \\(\\mathrm{ZF}\\) is consistent with the existence of an infinite set \\(X\\) such that \\(2|X|=|X|\\) and \\(|\\wp(X)|\\neq |[\\wp(X)]^{<\\omega}|\\). \\item[9.] In \\(\\mathrm{ZF}\\), it is not provable that for every infinite set \\(X\\), \\(2|X|=|X|\\) implies \\(\\mathrm{Id}(X)\\). \\end{itemize}  In connection with the above, I include Levy's terminology for certain notions of finiteness addressed in this paper. A set \\(X\\) is called: \\textit{III-finite} if \\(\\wp(X)\\) is Dedekind-finite; \\textit{IV-finite} if \\(X\\) is Dedekind-finite; \\textit{V-finite} if \\(|X|<2|X|\\) or \\(|X|=0\\); \\textit{VI-finite} if \\(|X|<|X|^{2}\\) or \\(|X|\\leq 1\\). Note also that \\(\\Delta_{3}\\)-finiteness implies IV-finiteness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$FF740BC8-F17E-4034-A77F-61381E8C8D7D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"511460d5b84fc17c87ef8ad0e040133272c8d02c","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$96635760-8E5A-4B82-9983-81A1E7629D93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$8D839B53-397A-4BB5-8893-AA824A123E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$43310E17-6BC4-4B15-A5BC-12EA35D1ACEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"507a2632d23cf7f7b251ac3f142d021e17ebc41b","datavalue":{"value":"54A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$A9E8231B-D973-4D6E-9220-6A96C35E4785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$DAD202C9-7C6F-45AF-BBB7-7125B3E25D29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4be6831072c6d5d5ead94f6c7be87c01f90f1ca","datavalue":{"value":"7691803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$E2EBBB09-4FB4-4D8E-8CC4-B03EB668FDB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$6F8283EF-CE69-46EE-AD8C-8FAC6CF5B360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6a6655d78fb1599b2ee2c8eacb2e0666dee97","datavalue":{"value":"weak axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$9D2B0DD4-1786-47A8-B3B0-779D9101DD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cbb4f2b0c6591dd4571fc375c0edd8403321e76","datavalue":{"value":"Hewitt-Marczewski-Pondiczery theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$98471A52-4DDE-4BAF-9BD2-B2D4B034CAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3cea3c3a9d7ee78d367a11c8298e8c168ca598e","datavalue":{"value":"Fichtenholz-Kantorovich-Hausdorff theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$ACDD32ED-3525-4B15-8AD1-180702445EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$5019BD2F-5A5E-4E52-896A-C4BA51435A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b86c2ca3e0a920205a1505da213694673a59e9","datavalue":{"value":"notions of finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103507$40D09E6F-2A23-42CE-B362-82F4BFC3AD3C","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":"Q6103507$42394986-3AD3-4F13-8E5D-EC3C76BDE9E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15a17bde455d789ba5db35eecfc8d8f356418557","datavalue":{"value":"https://doi.org/10.1007/s00153-022-00858-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q6103507$A2D156F6-2D10-4F37-97DE-D84BB9C19C5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e81b9b5ea4e20eae17f622614e9f738802bea5c1","datavalue":{"value":"W4311497620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$8984D604-BD64-4600-8859-86215E08B9AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"401de8da670fbfab05f7c92755a11dfa74a22aea","datavalue":{"value":{"entity-type":"item","numeric-id":4531895,"id":"Q4531895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$2BA313B6-C155-4B18-B34B-F293B8675F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$2A4360EE-0E74-49EE-967C-42660449BC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$1672FA11-8CB1-4D4A-A053-2B3F76CC1279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04cc1322638944d58c97f2602d06ebe61743d649","datavalue":{"value":{"entity-type":"item","numeric-id":4354789,"id":"Q4354789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$A00DA600-E75C-4258-B12C-14574E56B3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5231629e36f165addf358fd188663f958b196fe3","datavalue":{"value":{"entity-type":"item","numeric-id":5527010,"id":"Q5527010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$40B59934-8F1B-461C-8339-27047DF52138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0728b946db231f80a25c0d242efee4c62e074259","datavalue":{"value":{"entity-type":"item","numeric-id":3262214,"id":"Q3262214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$B92E22E1-A5B1-4368-A6FC-295FB26353A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6edefd2573c72f35b5a551d230f48e1db6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4141247,"id":"Q4141247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$F1E193C0-1CDA-4270-98B8-B3DBEA6010EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b323a7e9b86190ccc2f09aa966e4759e331b555","datavalue":{"value":{"entity-type":"item","numeric-id":4043083,"id":"Q4043083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103507$94C63357-3F9F-479F-85B0-AD4D76A9548E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f57598a4846953a3ddaec4b3fcac63356c91eab4","datavalue":{"value":"10.1007/S00153-022-00858-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103507$9E001C63-334B-485E-92A0-BD415E20FA7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc817059e237d16566c1832b783ba5f3cc0e0adb","datavalue":{"value":{"entity-type":"item","numeric-id":4531895,"id":"Q4531895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecab8a71ff3733aa9ab2563a002c81f328e73118","datavalue":{"value":{"amount":"+0.7769554257392883","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":"Q6103507$22400D04-DA16-4F0B-97A5-F2144E5A9619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf419b83e94ce876c17d54b5815883aa4d3215aa","datavalue":{"value":{"entity-type":"item","numeric-id":908905,"id":"Q908905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287f0cfda222b7efee732d2117e593d3bd6ecaaa","datavalue":{"value":{"amount":"+0.7575119137763977","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":"Q6103507$FAC9605A-237B-4165-A222-2E5DD455102C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c507d07a7553d7133df1851c54eb56cf737c80c","datavalue":{"value":{"entity-type":"item","numeric-id":2075277,"id":"Q2075277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d8c5500fa1363190d9d8e451dfe47bee376e46","datavalue":{"value":{"amount":"+0.7508373260498047","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":"Q6103507$0DF960AD-E80B-4761-A984-A05150F6091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4fb6e4eb331861de59242950220de3bf5fd1431","datavalue":{"value":{"entity-type":"item","numeric-id":2307600,"id":"Q2307600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e135272feceabc098ada5952429a84978cb48038","datavalue":{"value":{"amount":"+0.750775933265686","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":"Q6103507$73858CD4-4E10-43F3-920F-27C007ED5538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a28da125f8968538859beeeecf1ac8f1ac3577","datavalue":{"value":{"entity-type":"item","numeric-id":1985621,"id":"Q1985621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50f607cab6dc953c57ad658e94c2a794e79a0a4","datavalue":{"value":{"amount":"+0.7489734888076782","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":"Q6103507$EFBA0A58-51C4-48DD-A5FF-42955085E77F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103507"}}}}}