{"entities":{"Q1030206":{"pageid":1032054,"ns":120,"title":"Item:Q1030206","lastrevid":65986593,"modified":"2026-04-12T06:46:08Z","type":"item","id":"Q1030206","labels":{"en":{"language":"en","value":"Canonical subbase-compactness of topological products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5573809"}},"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":"Q1030206$762A18EE-E100-495C-BA97-35C15A8D1B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e14bf3e78cfa425b3d2a768f1dcdf3a815bcc6f","datavalue":{"value":{"text":"Canonical subbase-compactness of topological products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1030206$D6C09106-30C5-476B-91F8-6B8748209861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e57a81f0539b5415ba6ecd4543224b825553ed2","datavalue":{"value":"1173.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$3BBB2A35-5E55-4FA7-AE0F-D42F7D9C0270","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f39bedae0e7369f9d5cc8765ebf8ffd5c29da1","datavalue":{"value":{"entity-type":"item","numeric-id":234494,"id":"Q234494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$777CD16D-1007-4157-9882-0FBE0EDDA628","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":"Q1030206$5B024EB8-4BE2-4F71-B268-51C315F86013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a53a3c94c25a23f5eea9b080a88a1dd3753babf","datavalue":{"value":{"time":"+2009-07-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":"Q1030206$C52B4F42-4721-482A-95FF-76E04FDE42A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1264e142731af5b3003e76e7349aeaf6cdfb20ae","datavalue":{"value":"Let \\(X=\\prod_{i\\in I}X_i\\) be a product of topological spaces. \\(X\\) is called:  {\\parindent=4mm \\begin{itemize}\\item[{\\(\\bullet\\)}] subbase-compact iff there exists a subbase \\(\\mathfrak G\\) of \\(X\\) such that each cover of \\(X\\) by members of \\(\\mathfrak G\\) contains a finite cover of \\(X\\);  \\item[{\\(\\bullet\\)}] canonically subbase-compact iff every cover of \\(X\\) by members of the canonical subbase contains a finite cover of \\(X\\).    \\end{itemize}} Clearly: compact \\(\\Rightarrow\\) canonically subbase-compact \\(\\Rightarrow\\) subbase-compact. By Alexander's Subbase Theorem those implications are reversible in ZFC. However, they are both irreversible in ZF (i.e., set theory without the Axiom of Choice). This is a consequence of the following results of the paper under review:  {\\parindent=6,5mm \\begin{itemize}\\item[(1)] Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds.  \\item[(2)] Products of \\(n\\)-element spaces are canonically subbase-compact iff AC\\((<n)\\), the axiom of choice for sets with less than \\(n\\) elements, holds.  \\item[(3)] Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds.  \\item[(4)] All powers \\(X^I\\) of a compact space \\(X\\) are canonically subbase-compact iff \\(X\\) is a Loeb-space.   \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$791E0659-7959-48DF-AD68-00B89D2DC4E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45e94f3d9dc5e9989293ab48c0676c296f03a685","datavalue":{"value":{"entity-type":"item","numeric-id":178038,"id":"Q178038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$35DD991B-7A71-47F4-9917-9E5F96222B43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$6D1067F6-EF90-46FE-91ED-A7D6085BF751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$752FE78C-E300-4EF0-94CE-3D4760626C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$1ED5F6DC-769B-4425-937B-BB1839A1A572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2641b75ad43b0aa0ceb3d537bf3418015c920acf","datavalue":{"value":"5573809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$FB445DEE-EACC-47B8-9921-F9226BBEB569","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$3CCDC141-F288-4232-AB89-71C07167F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$8FB86737-646B-4750-B8D4-417F4C0706A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e22e79e15a7d39c142c63a322153dc2a2b21852","datavalue":{"value":"canonical subbase-compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$D863ED3C-BA5C-4F36-83E6-2982226DF590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858bc6c9ffd3d43992821f213099fd845d055b95","datavalue":{"value":"cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$E968FBE1-B47F-4BC0-95D3-B0CE3BA6E177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419e3a16780567fbc1880ed0d234c0774a658b91","datavalue":{"value":"product of topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1030206$80339984-1364-4DE2-81B1-9FC479469F91","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":"Q1030206$03F64D39-A4D8-47C1-B00F-DD50056D5E6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68330ea314fcdc4a1126b0917f7264b59e981b81","datavalue":{"value":"https://doi.org/10.1016/j.topol.2009.03.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1030206$5C21CACB-94DC-4295-9D15-555737C6B997","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19b8d2472a3408f5f16d12b7935f920623cfa4a5","datavalue":{"value":"W2010983355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$E4BBF54F-6EBF-4E7D-A127-E59DAE87F4D0","rank":"normal"}],"P223":[{"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":"Q1030206$2352B35F-F86E-4DEE-AB68-63E6657B8BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4176451ee44d39446ffa5830aced434ca0f2af08","datavalue":{"value":{"entity-type":"item","numeric-id":5920586,"id":"Q5920586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$29AFCBD2-4ED3-4BD5-91CF-C0ADC6B0D1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985a38bca78db573fa77d78033118b96424188e9","datavalue":{"value":{"entity-type":"item","numeric-id":4521127,"id":"Q4521127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$1017C407-F883-4866-89F5-FEFA9914E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd88c0dcac126b6fada46e757912ff1d7d9324c4","datavalue":{"value":{"entity-type":"item","numeric-id":3359384,"id":"Q3359384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$44DA10A6-6129-4264-90C4-BB3FBA5EB6E5","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":"Q1030206$658D328A-1488-41A7-BB1D-4AE76586C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe6d7fa89ec8d3c263ab074e4852412c798d367","datavalue":{"value":{"entity-type":"item","numeric-id":4824889,"id":"Q4824889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$4A964275-86E2-49D1-A5AB-2B0A78542882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdae2e0e92669ae0b614f4f667208d10a40bb3c0","datavalue":{"value":{"entity-type":"item","numeric-id":5826970,"id":"Q5826970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1030206$DEC2419E-23BA-420C-AF9C-AF5BF6F221BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8d488d9c69df93c2ef3c93b020376dc5afedec9","datavalue":{"value":"10.1016/J.TOPOL.2009.03.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1030206$EDB15D9D-C8C6-49B5-9AA4-54F4774256A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a029bad7b90661111140487d84324ea2b22149f0","datavalue":{"value":{"entity-type":"item","numeric-id":2888625,"id":"Q2888625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d854d1b60a77d44cfa204fb358bc8eba7b80b2c0","datavalue":{"value":{"amount":"+0.8019692897796631","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":"Q1030206$40F2C1C9-8B28-4E41-83F4-CA8CC2CE35F2","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":"84abe398af5919b3aac3e123c70637e5b385d00a","datavalue":{"value":{"amount":"+0.7829514741897583","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":"Q1030206$98971C5C-229E-42A5-8B71-DF2F4F53854B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5fd323c4ed9125b8008fbf06b6792ec037608f","datavalue":{"value":{"entity-type":"item","numeric-id":4787868,"id":"Q4787868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbce89736039493f289aae75a48f8688978a596","datavalue":{"value":{"amount":"+0.7749248147010803","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":"Q1030206$E90C7BB0-E21D-4053-A24C-A0E587740F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6328ae87c0031b44baa12db016a0f6bf1d297b","datavalue":{"value":{"entity-type":"item","numeric-id":4798204,"id":"Q4798204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6fb091a5534ebee510e72161842fa23f3cb5c6","datavalue":{"value":{"amount":"+0.7713578343391418","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":"Q1030206$F357A5FD-B773-47C6-838E-8E75179B9B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633bfebf18c4793b7e527d1d8ffe270ef68d6e3b","datavalue":{"value":{"entity-type":"item","numeric-id":4931103,"id":"Q4931103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee044badcaedd212b180e56ffa28d7f11c4bb1a","datavalue":{"value":{"amount":"+0.7672795653343201","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":"Q1030206$3036BCAD-C937-43AD-8217-B71E46185691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical subbase-compactness of topological products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_subbase-compactness_of_topological_products"}}}}}