{"entities":{"Q1935840":{"pageid":1946582,"ns":120,"title":"Item:Q1935840","lastrevid":51654284,"modified":"2026-01-19T07:00:05Z","type":"item","id":"Q1935840","labels":{"en":{"language":"en","value":"On a topological choice principle by Murray Bell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137379"}},"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":"Q1935840$B3D87D3B-0DA5-444A-AA76-40CA9CAAF78D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65e5a5c96b78f3cdc514dc120dae19a5b36ea542","datavalue":{"value":{"text":"On a topological choice principle by Murray Bell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935840$7DA5A2D6-A7F5-4312-81EB-4A9352B97944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c72b2a40b9e1666d817c662670b13f76dd3b1c9d","datavalue":{"value":"1275.03141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$D7B24223-5ABD-4728-BB62-678417786F1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935840$6DEFC8EA-6FCE-476D-9518-383B70AAD1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"503b81bbf4da2a3728dd91c902bbde5f1ed33230","datavalue":{"value":{"entity-type":"item","numeric-id":1097267,"id":"Q1097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935840$63580FF5-EEA3-4B6C-9885-31F95A392F63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935840$17CBD538-0F7E-4989-9529-1A20C674FD73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42b867b51fba2e4ccb5659deac7fc5f1408febd6","datavalue":{"value":{"time":"+2013-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935840$3D7DB45B-0529-41FB-81DE-BA698091D309","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19ccd3e1af6e1af5e5ff83d2e043e3e1da494200","datavalue":{"value":"In what follows, \\(\\mathbf{ZF}\\) is Zermelo-Fraenkel set theory, \\(\\mathbf{AC}\\) denotes the axiom of choice, \\(\\mathbf{AC}^{\\aleph_0}\\) denotes the axiom of countable choice (which is the restriction of \\(\\mathbf{AC}\\) to countable families of non-empty sets) and \\(\\mathbf{BPI}\\) denotes the Boolean prime ideal theorem.  In the paper under review, the authors investigate the consistency strength within \\(\\mathbf{ZF}\\) of the following statement, attributed to Murray Bell:  \\(\\mathbf{(C)}\\): For every family \\(\\{A_i: i \\in I\\}\\) of non-empty sets, there exists a family \\(\\{\\tau_i: i \\in I\\}\\) such that for every \\(i \\in I\\), \\(\\tau_i\\) is a compact \\(T_2\\) topology on \\(A_i\\).  One has \\(\\mathbf{(C)} + \\mathbf{BPI} \\Leftrightarrow \\mathbf{AC}\\); this result is attributed in the paper to \\textit{H. Herrlich} and \\textit{K. Keremedis} [Topol. Appl. 158, No. 17, 2279--2286 (2011; Zbl 1231.03039)]. The following questions are still unsolved, as the authors themselves remark: are \\(\\mathbf{(C)}\\) and \\(\\mathbf{AC}\\) equivalent ? If not, which choice principles, if any, are equivalent to \\(\\mathbf{(C)}\\)? The pursuit of answers to both questions constitute what the authors state as Bell's Problem.  Several results regarding \\(\\mathbf{(C)}\\) are established in the paper. Among many others, the following statements are proved: {\\parindent=0.6cm\\begin{itemize}\\item[(i)] \\(\\mathbf{(C)}\\) + ``For every set \\(X\\), every countable filter base on \\(X\\) can be extended to an ultrafilter on \\(X\\)''\\, implies \\(\\mathbf{AC}^{\\aleph_0}\\). \\item[(ii)] \\(\\mathbf{(C)}\\) restricted to countable families of non-empty sets + ``For every set \\(X\\), every countable filter base on \\(X\\) on \\(X\\) can be extended to an ultrafilter on \\(X\\)''\\,is equivalent to \\(\\mathbf{AC}^{\\aleph_0}\\) + ``There exists a free ultrafilter on \\(\\omega\\)''. \\item[(iii)] \\(\\mathbf{(C)}\\) restricted to countable families of non-empty sets does not imply ``There exists a free ultrafilter on \\(\\omega\\)''\\, in \\(\\mathbf{ZF}\\). \\item[(iv)] \\(\\mathbf{(C)}\\) + ``The axiom of choice for countable families of non-empty sets of reals\\,''\\,implies ``There exists a non-Lebesgue measurable set of reals''.   \\end{itemize}} The paper ends by posing a number of questions, for instance: does \\(\\mathbf{(C)}\\) imply ``For a product of a countable family of compact \\(T_2\\) spaces, canonical projections are closed mappings''\\, ?  Reviewer's addendum: As already remarked, the topological choice principle \\(\\mathbf{(C)}\\) is attributed in the paper to Murray Bell. However, such statement was considered way back in the 50s by \\textit{E. Farah} [Bol. Soc. Mat. Sao Paulo 10, 1--65 (1958; Zbl 0116.00903)], where he also established the equivalence between \\(\\mathbf{AC}\\) and \\(\\mathbf{(C)}\\) + \\(\\mathbf{BPI}\\); as previously commented, such equivalence is attributed in the paper under review to Herrlich and Keremedis. In Farah's paper [loc. cit.], \\(\\mathbf{(C)}\\) + \\(\\mathbf{BPI}\\) (in fact, \\(\\mathbf{(C)}\\) + \\(\\mathbf{UT}\\), where \\(\\mathbf{UT}\\) denotes the ultrafilter theorem -- which is equivalent to \\(\\mathbf{BPI}\\) and states that every filter (on any set) can be extended to an ultrafilter) is statement \\(\\mathrm P_{\\mathrm{VII}}\\), one of seven statements shown pairwise equivalent (with \\(\\mathrm P_{\\mathrm I}\\) being \\(\\mathbf{AC}\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$A00E2FE2-034A-44D9-ACF1-10914C5315FF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a0ae6337f49f5eed9f6ac1790449f5e4919c76d3","datavalue":{"value":{"entity-type":"item","numeric-id":590094,"id":"Q590094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935840$75C0CA4E-874C-40A7-BBB2-61922AF91A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$AE2C3E02-DF8E-4417-9847-140994A60862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$9228DF03-B0AA-4578-BCD6-318FB7B18D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$9A9E0652-500D-4C15-BE4E-803E96D591BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$B1442488-1E18-4508-AB19-BD12E7CD37B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5bf948cc6fac43ac8ca0e48ebf9a4326511b441","datavalue":{"value":"6137379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$84F0FB84-2FFA-4909-9FE1-DF793B4B4EFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$DCEE2943-0AE6-429F-95AC-AC858C1126F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ac52fe5e2477112fc40b07201b89a6e8578e1c","datavalue":{"value":"weak forms of the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$F905B0F6-4F46-41D2-9D93-C8A87FDB65C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dafee390d9656ceac90e3304932ed2d0637514a0","datavalue":{"value":"compact \\(T_{2}\\) topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$FD0EF2E1-B751-4EC8-836D-9B3BB035CF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d3e27de74c528a029d28a6301333a13779c8ea","datavalue":{"value":"Fraenkel-Mostowski permutation models of ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$BF8B469A-9BAF-47B4-892F-BC2BCA13599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba34f242ee9a81c296d69bea154143181988ab71","datavalue":{"value":"symmetric models of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$2874E127-F619-4D56-9500-EC2151A7CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935840$57353593-6D02-458B-B713-849412DC96F6","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":"Q1935840$CBFF4595-07F5-4B88-B8F5-907342CD1A78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31dd25cf28cdaad707d39381596a038f5771673e","datavalue":{"value":"https://doi.org/10.1016/j.topol.2012.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935840$76563D28-7F4D-41A7-867A-838377A514C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d3315092bcfd382fb33d3045c492f1a9734f7b9","datavalue":{"value":"W2038294373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$F1FDBDDE-8843-4B81-A101-F4E2A47C706D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4409ce7dddc96a6079df18af8b7eed8257fb82d6","datavalue":{"value":"10.1016/J.TOPOL.2012.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935840$E9AE2109-82B8-4CC9-9E2C-31DB566D1D7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e238739710fc96fc535de9281284b0b4d318c3c","datavalue":{"value":{"entity-type":"item","numeric-id":645188,"id":"Q645188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2923a74ca2ca16d821b7d7dfcd173da9cfc89ae0","datavalue":{"value":{"amount":"+0.8637521266937256","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":"Q1935840$FE8681D8-A5B7-4C65-A22E-1A9553839A09","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":"a0dcadfb03139d40bf1e85e7a5f1be602189f417","datavalue":{"value":{"amount":"+0.8187897801399231","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":"Q1935840$4C65A0F8-4D41-42B4-A832-797B5854D111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56706a9eeebe8524e1e335a130ca941379ca5041","datavalue":{"value":{"entity-type":"item","numeric-id":4400408,"id":"Q4400408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d512fd78e1de4b9e18a37b9213006e4860bf739","datavalue":{"value":{"amount":"+0.8186447024345398","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":"Q1935840$8F8353BE-BC0D-4107-A61A-0D2F88352B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96573fead83b33d24716cae4f89cba9c49d554f","datavalue":{"value":{"entity-type":"item","numeric-id":4939396,"id":"Q4939396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d512fd78e1de4b9e18a37b9213006e4860bf739","datavalue":{"value":{"amount":"+0.8186447024345398","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":"Q1935840$32C31653-D330-490D-A28D-EFF57BBAB29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e158e9fb09428410319eef432084bd79f3772ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3066670,"id":"Q3066670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f04d055c8700dc8292f1315dbd041bded45e5a","datavalue":{"value":{"amount":"+0.8033385872840881","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":"Q1935840$B5071185-6BEB-48F6-AFDB-D79BD5B8C2CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1935840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1935840"}}}}}