{"entities":{"Q803566":{"pageid":805414,"ns":120,"title":"Item:Q803566","lastrevid":64460343,"modified":"2026-04-11T20:01:22Z","type":"item","id":"Q803566","labels":{"en":{"language":"en","value":"Topological spaces whose properties are undefined in ZFC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4201121"}},"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":"Q803566$1173FCAD-688A-4E9A-A4E9-77FA5716F4C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8b91011f22efc0a0c1ce95acb611e36da4da0e","datavalue":{"value":{"text":"Topological spaces whose properties are undefined in ZFC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q803566$44B26796-3415-4443-9327-3A8ED8BEA80D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2cb289c2e048dd37e9c3e0f386b3cb5438bc709","datavalue":{"value":"0727.54002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803566$48A6D9A4-79BE-4AE2-9164-02AE10009101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a074fb5d72fbe5c30a76a4b636ff52b194eb2e4d","datavalue":{"value":"10.1007/BF00970633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803566$324D2494-87B6-4365-A575-918219AD4D99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be175e26302007273a4461ed60cba31863e2253","datavalue":{"value":{"entity-type":"item","numeric-id":578636,"id":"Q578636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$224BAB81-0FE5-463D-9E87-0DEBF11B2103","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$47E776DD-7A8C-4CEE-88B1-B23F6F8B1262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q803566$46C68959-9A05-412C-9187-BF0214B989F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5eb02eb3a2dbf87c4fc4163cccb76455e24af50a","datavalue":{"value":"In the paper under review there are constructed and investigated topological spaces some properties of which are undecidable in ZFC. In particular there is considered the space \\(V_{\\tau}\\) consisting of the product \\(\\omega\\times \\tau\\) endowed with the discrete topology and a point p which has the neighbourhood base consisting of the sets of the form \\(U_ f=\\{(k,\\alpha):\\;k\\geq f(\\alpha)\\}\\cup \\{p\\},\\) where f is a function from \\(\\tau\\) to \\(\\omega\\). Answering a question posed by \\textit{A. V. Arkhangel'skij} the author proves that the tightness of \\(V_{\\omega}\\times V_{\\omega_ 1}\\) is countable whenever every subset of \\(\\omega^{\\omega}\\) of size not greater than \\(\\omega_ 1\\) is bounded. On the other hand there is known that the tightness of \\(V_{\\omega}\\times V_{2^{\\omega}}\\) is uncountable [\\textit{A. V. Arkhangel'skij}, Doklady Akad. Nauk SSSR 206, 265-268 (1972; Zbl 0275.54004)]. Hence the tightness of \\(V_{\\omega}\\times V_{\\omega_ 1}\\) is undecidable in ZFC.","type":"string"},"datatype":"string"},"type":"statement","id":"Q803566$E00CC62C-E0B7-4BC5-A109-E58067A4EFF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac0a1a932b8bae9877fad13d8c31fcba7bb103d3","datavalue":{"value":"54A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803566$8AEA286B-5953-4738-B9B7-4287C6D608E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"689ceb8af3cd930ac9c741d73c1fbb2561465453","datavalue":{"value":"4201121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q803566$ABE72556-973C-4B50-9C36-455700D2106B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q803566$BEF94947-6C4F-423A-A6ED-F693A2193BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45c6c31ec43218662a954d1edc2c3c26c723c9f8","datavalue":{"value":"Martin's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q803566$CB5BFFEA-0C19-4E42-BE61-38C3D9BFA0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f8bc50863a68bc8b946f7471fa4a647c7825122","datavalue":{"value":"tightness","type":"string"},"datatype":"string"},"type":"statement","id":"Q803566$EC49C264-F5D6-4D4E-B91F-49CB89D0E0B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"47f8e07a177479816d2da42c925c71243bfb20e9","datavalue":{"value":{"entity-type":"item","numeric-id":590719,"id":"Q590719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$88A614C2-31D5-4512-97BE-0E80E6510159","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":"Q803566$4E16CD56-358D-4E57-8E9B-A7EBB98BFAB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a186356ec271a35ca8c5f5bc10f49852a241a0fb","datavalue":{"value":{"entity-type":"item","numeric-id":5602088,"id":"Q5602088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$1EEA541A-FE37-4776-BBC1-2A7C1CD04D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6e7f721e0ecb86c1180ccac2187873c56400ab0","datavalue":{"value":{"entity-type":"item","numeric-id":5560270,"id":"Q5560270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$8BE22E49-5719-413C-A1CC-07FE3BD6F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$C23B41D7-5BA8-44CD-A3F2-CC21645A82F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd52e8d78559d946cfca7fc3a21e4a47f30e82c","datavalue":{"value":{"entity-type":"item","numeric-id":1084190,"id":"Q1084190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$3CB001B0-2C99-463C-BA74-7F9F6520D966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19be69edbd7e5d41a2389916600692d774593793","datavalue":{"value":{"entity-type":"item","numeric-id":4171268,"id":"Q4171268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q803566$48092089-E4FE-4AE8-99CB-E88619671052","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a843581ab44a01e0dce2c4ce00e86ad360cc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1329395,"id":"Q1329395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4565c38ccf58dcedbb14667de4b45b03e1f8e70c","datavalue":{"value":{"amount":"+0.8036507964134216","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":"Q803566$B4D86761-5906-4070-AEF0-B39AE20B50E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6702a9ce0fd80763ba3e77f7e843ac4fc9dcba76","datavalue":{"value":{"entity-type":"item","numeric-id":3322817,"id":"Q3322817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949eb512344e191727b4fff07de0098c1276f90","datavalue":{"value":{"amount":"+0.7391737699508667","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":"Q803566$5ACC20B1-2751-4175-8318-AE717370C47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0d04bb748880bfb6ecaa97997e61788e8c1988","datavalue":{"value":{"entity-type":"item","numeric-id":386181,"id":"Q386181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb3635699328a0c4bec55c20c721b57567ad77f","datavalue":{"value":{"amount":"+0.731743335723877","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":"Q803566$8421FCAA-FF0A-4615-B008-4E29B9071B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c545f5b4e2300af0c89f61156175b9e5d9d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":4387054,"id":"Q4387054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2775f440562a7775bf7a68918393e90be4fb52","datavalue":{"value":{"amount":"+0.7298663854598999","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":"Q803566$D07C8D06-27F3-4F0E-897A-0C6D3A78D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0970094cebb47ea3984269cad75a0ad67a07b7e","datavalue":{"value":{"entity-type":"item","numeric-id":4722809,"id":"Q4722809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e32549d088ffdb40ebafbd9d23e976e93adddd7","datavalue":{"value":{"amount":"+0.7289087772369385","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":"Q803566$B3A1619F-8C9F-49E3-A72C-9C2FF6E89035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological spaces whose properties are undefined in ZFC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_spaces_whose_properties_are_undefined_in_ZFC"}}}}}