{"entities":{"Q753806":{"pageid":755655,"ns":120,"title":"Item:Q753806","lastrevid":42675243,"modified":"2025-07-08T09:13:22Z","type":"item","id":"Q753806","labels":{"en":{"language":"en","value":"The Borel conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181322"}},"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":"Q753806$04D5BAC9-D042-4B4D-8EAD-C4CCABDD1E5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec0b1922eb7cc89b408cde52daab52b90da8c9a9","datavalue":{"value":{"text":"The Borel conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q753806$2CDF028D-ED18-412E-ACCD-39C09F39935E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"548deb7eb4564c3bcb55603a71cd3ad82b7e505a","datavalue":{"value":"0717.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753806$D4661425-EB17-4958-9170-4E7E090E1274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e7b76427765fac77683a72d1759557b79d8871f","datavalue":{"value":"10.1016/0168-0072(90)90058-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753806$C6E58774-F8C4-4154-8C54-F0568527F6B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdfa73781626587e71aa56e0427b22e9bd754ed1","datavalue":{"value":{"entity-type":"item","numeric-id":584256,"id":"Q584256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$0EDB7ECB-5C7C-409D-8C61-F8891507A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$62A82965-5E61-479F-A0A0-AC5C3BD75E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aa73e14157c558b4cd52b4dcdb69d55d5554707","datavalue":{"value":{"entity-type":"item","numeric-id":251404,"id":"Q251404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$879D18C4-F498-4037-B07D-18F4FB4E9046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$432D1173-B920-482C-8783-5AB271A57E5F","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":"Q753806$EC1DB88F-92B8-48E6-A03F-B42598C3660A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad4e7d69f1db220537aac9255976c7eb419772b5","datavalue":{"value":"A subset X of \\({\\mathbb{R}}\\) has strong measure zero if for every sequence \\(\\epsilon_ 0,\\epsilon_ 1,\\epsilon_ 2,..\\). of positive reals there exists a sequence \\(I_ 0,I_ 1,I_ 2,..\\). of open intervals such that, for each \\(i<\\omega\\), \\(length(I_ i)<\\epsilon_ i\\) and \\(X\\subseteq \\cup_{i\\in \\omega}I_ i.\\)    In 1919, E. Borel conjectured that every strong measure zero subset of \\({\\mathbb{R}}\\) is (at most) countable. In 1928, W. Sierpinski remarked that the set constructed by N. Lusin in 1914 on the assumption of the continuum hypothesis (an uncountable subset of \\({\\mathbb{R}}\\) having countable intersection with each first category set) has strong measure zero. In 1976, R. Laver showed that Borel's conjecture is consistent, if Zermelo- Fraenkel set theory is consistent. In the model he obtained for forcing, the cardinality of \\({\\mathbb{R}}\\) is \\(\\aleph_ 2.\\)    The authors show that Borel's conjecture is also consistent with assumptions saying that the continuum is ``large''. This requires a forcing technique different from the ``countable support iteration technique'' used by Laver. The authors show that ``adding random reals'' to the Laver model preserves the Borel conjecture. Their result improves earlier unpublished results by the third author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$40CE81E7-09FE-4968-BEED-21180DEC746A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753806$9DC6ED8E-C919-44D4-BC32-3D9669DD0533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"459b02e8f113222a3b0dd5254510f7ab453f3d3a","datavalue":{"value":"4181322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753806$559743C6-299B-4D39-82FB-66B72D722C48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e45e782e4c93a717af76f04d5c2214ad7856cf","datavalue":{"value":"strong measure zero subsets of the reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$92C8B26C-FC19-4F01-991D-4506B1A7DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$563ED899-C68C-49C3-B6A9-2CC3DEBCC3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb5f6fcf5934085d9839a2f3bb2f7d911653722","datavalue":{"value":"large continuum","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$BBAA8FA1-DCF0-4B57-97F9-5DF28E6FA877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$E44D4B8F-756D-40D2-83C2-BAF7583A78B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3933e9c21c86311b310b0edc3270db60995c6ef","datavalue":{"value":"random reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$40570834-4641-4A15-BFF4-6C627E59BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7788a1f4cc401d86cdc51480b6c90294d9e36e91","datavalue":{"value":"Laver model","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$782F4F98-1BD1-445D-8485-84ED6DD78971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6956d84f79fcdfda117455998cccead66eb5b4d3","datavalue":{"value":"Borel conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q753806$E5141385-F01A-4E4A-A95F-B76DD305A137","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6d31cfcd4872ca33402e7ff9adb26d2a568fa6e6","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$85AEEAB3-81F5-484B-B870-03BC8AD30C1C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"41b8410fa7ea3cf473a68852fd63d089630a265a","datavalue":{"value":"Q123352748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q753806$4A121BF1-F7CE-4C82-A453-22C0883AB4B2","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":"Q753806$1F4FC2DD-F1B3-424D-B1FF-1938C23F1A13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31d16dc4543d3aaea61c049be7122e07d1c2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3037420,"id":"Q3037420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$9D2C63A7-7DA1-46A3-91B2-77BFEE747097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2425ae24415677117ca73e2720e0f2b9d5d5ad92","datavalue":{"value":{"entity-type":"item","numeric-id":3201040,"id":"Q3201040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$2D971F12-4DB9-465F-BBFE-CA3C1F76BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64abf4e77a57abf4ad501bbc9630e9387d33e33","datavalue":{"value":{"entity-type":"item","numeric-id":5752563,"id":"Q5752563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$4ACEED8D-9610-4331-B7C6-F1537FD5357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1670842944cad8b32215e00d21f102d80b026a9","datavalue":{"value":{"entity-type":"item","numeric-id":3795670,"id":"Q3795670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$A5470468-9002-4DAF-BD53-6A34324E57F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1c20dca878dfbd007b8afa54b5bd3f635c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":3826545,"id":"Q3826545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$22A6646C-EB75-4BA6-B222-002E430C086E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9e2e4273480bf24f60f80f2112ad6a3e52d58b","datavalue":{"value":{"entity-type":"item","numeric-id":1117922,"id":"Q1117922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$24D1CB4C-CC2B-4967-8B0B-33324022F53A","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":"Q753806$84DBB0CB-C680-4F0C-820B-FF77173CD191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a1b1a5a9cdd60b6634a3279336d91c815111c","datavalue":{"value":{"entity-type":"item","numeric-id":3880836,"id":"Q3880836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$B3CDF007-AF64-4B8E-9C06-83EFE15826FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45cd2ea360d17b085a46e8bc7dd71d81d0bdfcf","datavalue":{"value":{"entity-type":"item","numeric-id":1169456,"id":"Q1169456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q753806$B06F28E6-174B-4745-9E3E-3CC536BD1570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718be2712a428fde378775bdf36be96f649cca59","datavalue":{"value":{"entity-type":"item","numeric-id":4432267,"id":"Q4432267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$22F54919-5E8B-4BED-B39A-759534E863FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee4cee07ecdf0ec40a8c728075c18b09c960360","datavalue":{"value":{"entity-type":"item","numeric-id":1778062,"id":"Q1778062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3035b74a018fe40be719fb510239cc03e3fdc11f","datavalue":{"value":{"amount":"+0.9440638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$390E32C8-FE63-4781-8D42-E2518614FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de966df926d566958c4cd5528f39e1aa87bbe3c","datavalue":{"value":{"entity-type":"item","numeric-id":2862130,"id":"Q2862130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fac53ab24e35389b8e05e43e91b7618f93480d","datavalue":{"value":{"amount":"+0.93779796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$3D83C58E-BC29-43EA-A6BB-C2A60B2FE958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da1aa9802be18a274b032ed2bf145fef214e9e8","datavalue":{"value":{"entity-type":"item","numeric-id":5030856,"id":"Q5030856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b43aee5473fa1f49fd3e9bd097df12f31a79b3","datavalue":{"value":{"amount":"+0.9334232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$B5AD7369-5E3E-457B-BDDF-1A5F2BFF5D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eace1769dc8c1043352650b3ae31fd4b42921fc","datavalue":{"value":{"entity-type":"item","numeric-id":1771150,"id":"Q1771150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f79aec56b5961e041d990e9eb2a9a45569175ff","datavalue":{"value":{"amount":"+0.92893696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$FC1731CA-660F-45BC-927E-C5DA8B51912C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d745ec200fc47251cbbf0d53bb3cb511f5b528","datavalue":{"value":{"entity-type":"item","numeric-id":3983791,"id":"Q3983791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8c66fb9ac3c46887ec838b607348b7be6cf050","datavalue":{"value":{"amount":"+0.92867756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$E798285B-C27E-4241-8D67-AAEBCD5F0D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9a4844456ce600099e1563bc9d68c7427bc652","datavalue":{"value":{"entity-type":"item","numeric-id":1688645,"id":"Q1688645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b90819da20e4cdee0cd4498650316959442a49a","datavalue":{"value":{"amount":"+0.92293024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$1B222B17-0D90-47B3-973C-DC1C1D11597F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a819c237070102fd8f22d2a7a0c4952012f0377","datavalue":{"value":{"entity-type":"item","numeric-id":3692004,"id":"Q3692004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234dffe09b2d417b6a3b7b3f65e9300a49f6c67c","datavalue":{"value":{"amount":"+0.9158992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$AD6B9359-841E-4876-A830-3D19E06A8FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081d54d29e704f9cdb218b2f09820957f5b6b27f","datavalue":{"value":{"entity-type":"item","numeric-id":4255124,"id":"Q4255124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234dffe09b2d417b6a3b7b3f65e9300a49f6c67c","datavalue":{"value":{"amount":"+0.9158992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$E87AA25B-F073-4538-84FC-A3AF92ECAB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0edcb8a8221af4350400699dfd36dbef373679b9","datavalue":{"value":{"entity-type":"item","numeric-id":4843481,"id":"Q4843481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234dffe09b2d417b6a3b7b3f65e9300a49f6c67c","datavalue":{"value":{"amount":"+0.9158992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q753806$F8E2E038-A923-40A0-AB6A-45BE8899967E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:753806","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:753806"}}}}}