{"entities":{"Q2888625":{"pageid":2899350,"ns":120,"title":"Item:Q2888625","lastrevid":51478733,"modified":"2026-01-18T10:55:06Z","type":"item","id":"Q2888625","labels":{"en":{"language":"en","value":"Compact and Loeb Hausdorff spaces in ZF and the axiom of choice for families of finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6040451"}},"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":"Q2888625$7B908B20-2DB9-463E-9153-37E33E17A25F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82cd76d90c2919971c6375d87c38a80c25f12937","datavalue":{"value":"1251.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$9091C1AE-57C5-4685-9D57-4DEF45A6D0CD","rank":"normal"}],"P16":[{"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":"Q2888625$74AD8085-ABAE-45C7-B3A0-68DAE7E70D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"551a6f900a46a3a457eea381c5a639d070eb099d","datavalue":{"value":{"time":"+2012-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888625$44E2A776-CFDA-405E-8411-977BBF6A8C41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$01940A66-AD1E-419B-82D5-EEC0616A98F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$FC716827-1CF4-4F10-BD64-899D6BEB127E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$30F30206-867E-4C91-899D-140A9BD77E63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85a54b9ea2febb292048234fdc0539571d71ac4","datavalue":{"value":"6040451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$926BE6D7-6119-4B7E-A295-E6EAC6FCB053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$C8D2B8F8-53E5-443F-B29F-156DB7CBD0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6a6655d78fb1599b2ee2c8eacb2e0666dee97","datavalue":{"value":"weak axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$DB35A77A-E760-43C7-BE01-595FA9516A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0483c0c23e7fdc9e82e75e63c0f9f579a074797b","datavalue":{"value":"Loeb spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$88307684-8655-4243-8D6A-2112605171C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ba3b32a62606f760101d82be73243ac00ded35e","datavalue":{"value":"Tychonoff products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$AAE6034F-C91B-4F86-A4E1-18CAE78928F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9101b0325011e83e7f1a73a49d518977b964df25","datavalue":{"value":"Boolean prime ideal theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$0818E0E7-7868-46A6-86AF-295BEFEF6EDC","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":"Q2888625$35D5EEC8-3050-4E6A-B18B-8F2FF0C9D208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6437baa718a3fd9ef479f9ea06e418e9b66927f4","datavalue":{"value":"https://doi.org/10.1002/malq.201020039","type":"string"},"datatype":"url"},"type":"statement","id":"Q2888625$CE416B10-44B1-44D7-BF8E-AF6FFEB26A3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f08a9c2bd4ab2b90446cf0854c184a3e90cdb64","datavalue":{"value":"W2034766707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$DC4DD0CC-477D-45A9-B73E-485A14CFB2F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"32b900c0b8e6333b5f841eb2feca97f88e93d52e","datavalue":{"value":"Q114018693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$14E2EAD8-7B6D-4D88-8397-98CC052EC2AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8eee3511d4d496a49ad27f88da25f33cab72a7","datavalue":{"value":{"entity-type":"item","numeric-id":3346924,"id":"Q3346924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$4DC8AAFE-9706-494F-9C73-CDC626387A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c6faddde45e977553bd46b665a9a95a3d039e5","datavalue":{"value":{"entity-type":"item","numeric-id":3694230,"id":"Q3694230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$6A506570-1BB8-4F9A-BBC5-77818D06A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c00b6b4f94f786d7253fcf497971aab8129117","datavalue":{"value":{"entity-type":"item","numeric-id":4716676,"id":"Q4716676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$D71EA8A3-FDF2-4BC8-8544-60D6133D9ACD","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":"Q2888625$9CA3FA79-8953-41B5-AE49-43EEED54DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6aaadf42806b46cf6afc301339982af2100cd77","datavalue":{"value":{"entity-type":"item","numeric-id":3414689,"id":"Q3414689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$C72912AA-A29D-4ACB-A7FC-7B2D81926B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b145a343e2f209072fceab80647aec5a1173adca","datavalue":{"value":{"entity-type":"item","numeric-id":4931103,"id":"Q4931103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$29ECFA4B-123E-409F-9206-2A4A4476EE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ff647b70a8090f9706c9e637fa2be6ec9598d","datavalue":{"value":{"entity-type":"item","numeric-id":2731710,"id":"Q2731710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$973E2543-5158-4F26-B6FA-800806A3A1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8335b15a7fdf748df5a2420081a30ba27ca4edd","datavalue":{"value":{"entity-type":"item","numeric-id":5523432,"id":"Q5523432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$09CDB719-38BD-459F-83A5-B34BF4BE89F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f9b928f8f6d43936541648645cfff89dbbca13","datavalue":{"value":{"entity-type":"item","numeric-id":5190199,"id":"Q5190199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$0A5AAEEA-AC9A-4809-B98A-B11C306347DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b74912452ec7b44a8b5796e1db498d376e93ca9","datavalue":{"value":{"entity-type":"item","numeric-id":5512750,"id":"Q5512750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$E2610DBC-8093-4AC2-B3C5-3D82AAED28F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269de5b658a6f3c68aa0c7b0f62e0342580b8986","datavalue":{"value":{"entity-type":"item","numeric-id":1892935,"id":"Q1892935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$123CD563-8823-4334-8F85-DD1CD8B8ECD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbf95b182c90c2e4ec50905e40707c8d5f8f6d02","datavalue":{"value":"10.1002/MALQ.201020039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888625$D399E054-3A3C-4FA0-84BC-4B51D0E24477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb52ecb8e15b020b93c930eeaf1f7680e90020a6","datavalue":{"value":{"text":"Compact and Loeb Hausdorff spaces in ZF and the axiom of choice for families of finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888625$7465F59A-E455-4AA3-9AB5-C0DDDCEAB220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888625$80BB7515-2931-4461-8569-1EA06C82BFC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af69fc7791aa59330f6f8eff04452434c9cdc18e","datavalue":{"value":"A topological space \\((X,T)\\) is called a Loeb space if the family of all non-empty closed subsets of \\(X\\) has a choice function.NEWLINENEWLINELet \\(\\{(X_i,T_i):i\\in I\\}\\) be a family of topological spaces and let \\(X\\) be their Tychonoff product. A closed set \\(F\\) of \\(X\\) is called restricted closed if there is a finite subset \\(Q_F\\) of \\(I\\) such that \\(F=V\\times\\prod\\limits_{i\\in Q_F^{c}}X_i\\) with \\(V\\subset Y_{Q_{F}}=\\prod\\limits_{i\\in Q_F}X_i\\) a closed set. The set \\(Q_F\\) is called a support of \\(F\\). According to Lemma 3.4 of the paper, to each non-empty proper restricted closed set \\(F\\) of \\(X\\), there corresponds a smallest (w.r.t. inclusion) support, which is called minimal support of \\(F\\). The Tychonoff product \\(X\\) is called \\(R\\)-Loeb if the family of all non-empty restricted closed subsets of \\(X\\) has a choice functionNEWLINENEWLINEIn the paper under review, the author studies the productivity of the Loeb notion in set theory without choice. In particular, he investigates the set-theoretic strength of the statements ``For every set \\(X\\), \\(2^X\\) is Loeb'', ``For every set \\(X\\), \\(2^X\\) is \\(R\\)-Loeb'', where in both statements, \\(2\\) is the discrete two-element space \\(\\{0,1\\}\\) and \\(2^X\\) is endowed with the product topology, and ``Tychonoff products of Loeb Hausdorff spaces are Loeb''.NEWLINENEWLINENote that the Boolean prime ideal theorem (BPI: Every non-trivial Boolean algebra has a prime ideal) implies ``For every set \\(X\\), \\(2^X\\) is Loeb'' (cf. [\\textit{K. Keremedis} and \\textit{E. Tachtsis}, ``On Loeb and weakly Loeb Hausdorff spaces'', Sci. Math. Jpn. 53, No. 2, 247--251 (2001; Zbl 0982.54001)]).NEWLINENEWLINEThe author establishes the subsequent results:NEWLINENEWLINELet \\(X\\) be any set. Then the following principles are pairwise equivalent:NEWLINENEWLINEAC\\(^{\\mathrm{fin}(X)}\\), i.e., \\([X]^{<\\omega}\\setminus\\{\\emptyset\\}\\) (= the set of all non-empty finite subsets of \\(X\\)) has a choice function.NEWLINENEWLINEAC\\(^{\\mathrm{fin}([X]^{<\\omega})}\\).NEWLINENEWLINEAC\\(^{\\mathrm{fin}(\\mathrm{Fn}(X,2))}\\), where \\(\\mathrm{Fn}(X,2)\\) is the set of all finite partial functions from \\(X\\) into \\(2\\).NEWLINENEWLINE\\(2^X\\) is \\(R\\)-Loeb.NEWLINENEWLINEThe Tychonoff product \\(\\prod_{A\\in [X]^{<\\omega}\\setminus\\{\\emptyset\\}}A\\), where each \\(A\\in [X]^{<\\omega}\\setminus\\{\\emptyset\\}\\) has the discrete topology, is \\(R\\)-Loeb. NEWLINENEWLINE{1)} AC\\(_{\\mathrm{fin}}\\) (Every family of non-empty finite sets has a choice function) iff ``For every set \\(X\\), \\(2^X\\) is \\(R\\)-Loeb''. NEWLINENEWLINE{2)} ``For every set \\(X\\), \\(2^X\\) is Loeb'' and ``Every set can be expressed as a well-ordered union of well-orderable sets'' implies BPI. NEWLINENEWLINE{3)} ``For every set \\(X\\), \\(2^X\\) is Loeb (compact)'' iff ``For every set \\(X\\), \\([0,1]^X\\) is Loeb (compact)'' iff ``Every product of finite discrete spaces is Loeb (compact)''. NEWLINENEWLINE{4)} ``Tychonoff products of Loeb Hausdorff spaces are Loeb'' implies the axiom of choice for families of non-empty well-orderable sets and ``The union of a well-ordered family of well-orderable sets is well-orderable''. NEWLINENEWLINE{5)} It is relatively consistent with ZFA set theory (Zermelo-Fraenkel set theory with the axiom of extensionality weakened to allow the existence of atoms) that there exist a set \\(X\\) such that \\(2^X\\) is compact, whereas \\(2^X\\) is not Loeb.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888625$7032D08D-7161-4A26-8A12-55444940E9A1","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":"Q2888625$96C78431-5B6F-4810-AD5A-C4347B0B7523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d536fa547fae2af8f6219c0ac60d3f41d1502109","datavalue":{"value":{"entity-type":"item","numeric-id":2731710,"id":"Q2731710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88388d612b20595643469df3cdddcb4853a0a32d","datavalue":{"value":{"amount":"+0.890592634677887","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":"Q2888625$6208A685-BC9F-45B2-BADE-AA9CBD0ADEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66733856ac2117d9198fbe059ccd3708254d9ab","datavalue":{"value":{"entity-type":"item","numeric-id":776389,"id":"Q776389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2119c6fe7d29c23a3e50fbb79784bd85402f2eb9","datavalue":{"value":{"amount":"+0.8722459673881531","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":"Q2888625$0C239591-0E09-4553-9A01-3D38C6D81E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dce2dd4e40506848fa0be3a80c41e0c99994de9","datavalue":{"value":{"entity-type":"item","numeric-id":5396221,"id":"Q5396221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72510ca7d9dd29bdeb8d18106aa903ba61b75431","datavalue":{"value":{"amount":"+0.8624685406684875","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":"Q2888625$3DA3F1DD-5FC5-47D7-83CE-26A7CF46F3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d758336460c07da6172f92d2771823bafbd130b1","datavalue":{"value":{"entity-type":"item","numeric-id":2707076,"id":"Q2707076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de2e9f8efea95bd94898ff1f4fdd142f6d63b82","datavalue":{"value":{"amount":"+0.8441109657287598","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":"Q2888625$A50AF90E-C392-48CF-92D8-67C29E9E2B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a495a28a442f60f3eac1a926c03ca69b5d1f82","datavalue":{"value":{"entity-type":"item","numeric-id":5313355,"id":"Q5313355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5aeb4f5a5775d40f0005b72438ec8ef15acbf5","datavalue":{"value":{"amount":"+0.8243398666381836","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":"Q2888625$804817B8-F25E-4DB5-B1C9-7DAE0512CEEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888625"}}}}}