{"entities":{"Q1709056":{"pageid":1719797,"ns":120,"title":"Item:Q1709056","lastrevid":73812720,"modified":"2026-04-14T17:20:40Z","type":"item","id":"Q1709056","labels":{"en":{"language":"en","value":"Products of \\(H\\)-separable spaces in the Laver model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6853353"}},"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":"Q1709056$564CC151-5984-4470-A6D1-59215C6898AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07d6dabe2046d8dc7f04257bbca80b1ad9836197","datavalue":{"value":{"text":"Products of \\(H\\)-separable spaces in the Laver model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709056$D862EA52-56CB-4867-A21C-3A934DB190F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c48d8b5c97d925b12cd5f720af9acbc52553c5d","datavalue":{"value":"1390.54028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$671A30D0-5CFF-4B87-8DCE-F528A2C61F72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e92ad84072131137eaa27c5ec1c4b5559c97a58","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$069BD83F-E403-477B-AE54-815909349B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cb0c879e90d7248dfed3bdf5c3ac431476b595e","datavalue":{"value":{"entity-type":"item","numeric-id":312295,"id":"Q312295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$4EAC18BB-CE4B-4D74-BA9C-3EB92B10833A","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":"Q1709056$87CD0C86-ADA3-4F59-8216-B3970B7837D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b89ae30ad9dd2575aee905585ba5c4c25af3d67d","datavalue":{"value":{"time":"+2018-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709056$0BF300DD-A6CC-4F02-9EB6-A7768A27C60C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc4e182045f8c37aa31a755bf1540e0d380a7c99","datavalue":{"value":"https://arxiv.org/abs/1803.06483","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709056$D5F47F89-B0A1-41F4-AE7E-7F55F7144B41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b305c67c43569a0b519ca880ae6544ae25b8613f","datavalue":{"value":"By analogy with the well-known Hurewicz and Menger properties one defines a space to be \\(H\\)-separable if for every sequence \\(\\langle D_n:n\\in\\omega\\rangle\\) there is a choice \\(\\langle F_n:n\\in\\omega\\rangle\\) of finite subsets (\\(F_n\\) of \\(D_n\\)) such that every nonempty open set intersects all but finitely many \\(F_n\\)s. In an \\(M\\)-separable space the union \\(\\bigcup_nF_n\\) should be dense. The main result of the paper states that in Laver's model for the Borel Conjecture the product of two countable \\(H\\)-separable spaces is always \\(M\\)-separable. Whether two can be improved to three (or more) and whether the product can be guaranteed to be \\(H\\)-separable are left as open questions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$0E88DFB0-14A2-44D8-836C-23971E433562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06e307c15e84a97fd8fd6884c2c4eb46672d1f7c","datavalue":{"value":"54D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$B7C20C6A-E414-43B5-B31C-A6A44EA89C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$9E46D123-58AB-4958-9C4C-46EFD4CF51E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62611e6de5413b8d4c139b8275f0195fa7030c63","datavalue":{"value":"6853353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$033FC423-DEAE-4EC2-A627-D2C032947577","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f914eabc4c2700d1b459b2f1815de68c5debef","datavalue":{"value":"\\(H\\)-separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$27BFF101-778D-45FE-9A64-DB143202EEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c23149b41709b19627b7017da4ad062a3656338","datavalue":{"value":"\\(M\\)-separable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$B8F51485-F29C-4642-9BA8-4DDA07FB2F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6a8b223e55820c1a0cf058ee0b348661a1f1cd","datavalue":{"value":"Laver forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$67D793BF-9704-46F1-A309-4C46A09D3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22fdcaf0aefa81dd3d8e7e6c7d27b8e7256acf2","datavalue":{"value":"Hurewicz space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$4272EA64-4EF5-4322-8F3C-41FA409F4407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf4292b17a3a2c017d41f2eaddda145e4996488","datavalue":{"value":"Menger space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709056$B09020BD-8ECC-4B33-A27B-E81105C89921","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf76eb1ad6b6800930767644a3f137783ccd42eb","datavalue":{"value":{"entity-type":"item","numeric-id":330038,"id":"Q330038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$A683E185-D75E-4F08-B21F-0CA40EF2C98D","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":"Q1709056$4BAE4C1D-E317-4580-AFBB-DC5A42F782DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67bec060af733675063f9bee426252bbcfa762ee","datavalue":{"value":"W2789269637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$C3D5306A-0BF9-4C1F-BD4D-179A73D15E62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abad4ad851350d860fd3f651270e2af30fd0e382","datavalue":{"value":{"entity-type":"item","numeric-id":3052958,"id":"Q3052958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$91A89EE7-02FF-450D-BC03-F8B7BBE70A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da4725255cddb262326b5e3a90ec3f532fc833","datavalue":{"value":{"entity-type":"item","numeric-id":409521,"id":"Q409521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$6E020A8F-47DA-43D9-BEB8-7E9CD053D643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8afc60f115650b4a1b6fa5714c3ba9e2db6e08d0","datavalue":{"value":{"entity-type":"item","numeric-id":1013810,"id":"Q1013810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$BFEFBC77-3BB6-4990-894A-B0858F0F1DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57f025d609a65f7ce86480b797f20471abae2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3053893,"id":"Q3053893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$C150A2C7-DA92-4837-80B7-915677739B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d55d6bb7b1ecdd45e711f29b59dcde8ed7d24","datavalue":{"value":{"entity-type":"item","numeric-id":1096622,"id":"Q1096622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$63042D74-C8F9-4346-B3DA-F743267D4A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b51424fa10d0df1cfbf8f2779ceb5da516e632","datavalue":{"value":{"entity-type":"item","numeric-id":554388,"id":"Q554388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$1EEFABC9-5BA1-4521-8A0E-0E50387EC81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc2ac97ca3b69341be3426465908c6bbe17c368e","datavalue":{"value":{"entity-type":"item","numeric-id":1238035,"id":"Q1238035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$3527E31E-3B88-403F-8572-1EC6B0825B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e64b883368a498f620008df10033414840c4e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2787992,"id":"Q2787992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$7E2BBD98-361C-4D92-9F66-D149FEF24F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27a3ef509946522ae2c58760c7235474fd9c298","datavalue":{"value":{"entity-type":"item","numeric-id":712205,"id":"Q712205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$083C72C1-960E-46C3-B45A-786C0308BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fa0622f02a91fa86ae06b4ad3911cc72a2e4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4602435,"id":"Q4602435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$A2A40CC9-F960-4ACB-863F-5CD56DE34357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33cb855f3a5d9377ce9c87ce923b5ab63d47d23","datavalue":{"value":{"entity-type":"item","numeric-id":3836237,"id":"Q3836237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709056$B375D978-63BD-44B7-94A2-98F5F1A35E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"344793f6444c339fffdd7f37b6784c304ac6489d","datavalue":{"value":"10.1016/J.TOPOL.2018.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709056$0F1C09E5-A39D-4B2F-96EC-F9E347BC75BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"830ec437f22cc05d79cd768d71e6f7acc6064288","datavalue":{"value":{"entity-type":"item","numeric-id":4602435,"id":"Q4602435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a757d7c6a72197c4ad94a9392ff61b9caf4017","datavalue":{"value":{"amount":"+0.8382989764213562","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":"Q1709056$7D980671-9AB1-41C7-A0D8-F7DC62869D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e2664706ea01defad401a122438ca367ac15f2","datavalue":{"value":{"entity-type":"item","numeric-id":2187261,"id":"Q2187261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330d4acc8be7f2b9890181a748063a8e46d868c3","datavalue":{"value":{"amount":"+0.7719787955284119","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":"Q1709056$F84B8D92-7E4E-4377-B647-4A1614B32316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457606c528ec0c691d5c6cf3847b2f99f79b83b","datavalue":{"value":{"entity-type":"item","numeric-id":712205,"id":"Q712205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6097c28f1babaf33dacb93beff50b0bf547a172","datavalue":{"value":{"amount":"+0.7603797316551208","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":"Q1709056$238676DE-7588-437D-8A6A-2DA4702FD82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794030ddda2c3d72403a5364be5756ed66b541a9","datavalue":{"value":{"entity-type":"item","numeric-id":3184218,"id":"Q3184218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d365ace2e529ffb5759f24bb632bbf3447e6e82f","datavalue":{"value":{"amount":"+0.7527325749397278","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":"Q1709056$9D127198-6FFD-4B78-B5A2-31D251E6B715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6cdd362cdcd8a413d22d31b2c1c0390f2c392c","datavalue":{"value":{"entity-type":"item","numeric-id":2957927,"id":"Q2957927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa626fb85599b3698c7a85f83d0d86f9ac59cb6","datavalue":{"value":{"amount":"+0.7518508434295654","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":"Q1709056$70C2F81A-8584-48CE-8F1D-DBAFF093287A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Products of \\(H\\)-separable spaces in the Laver model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Products_of_%5C(H%5C)-separable_spaces_in_the_Laver_model"}}}}}