{"entities":{"Q335004":{"pageid":336771,"ns":120,"title":"Item:Q335004","lastrevid":77737781,"modified":"2026-05-06T09:57:27Z","type":"item","id":"Q335004","labels":{"en":{"language":"en","value":"Cofinality of the Laver ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646576"}},"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":"Q335004$0FB16C11-6D7C-4BF3-B1A1-C9688175F7C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddc7fc02cfb2c9d76996e0d938fed010bd43b6bb","datavalue":{"value":{"text":"Cofinality of the Laver ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q335004$C3B7C2AD-3CFB-46A3-BCD8-64BD173C54D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bf05ec57490e2be087e1b264d96ebd37c83059","datavalue":{"value":"1366.03222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$3B01FC4E-AAF8-460B-B09C-0A2A7A2FBD92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7449f5cd3e13a42cb8138cce255ee30847f231b3","datavalue":{"value":{"entity-type":"item","numeric-id":173771,"id":"Q173771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$7564495B-A536-4255-85D2-CC11B562B86C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$F5253222-17A2-4969-9483-711871CF2988","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-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":"Q335004$288646BA-E70C-4B06-8459-17846D6DA90C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"227e8c6c6b1d5edba44e00b250ba27a5c9294f29","datavalue":{"value":"This paper reproves a result of Yurii Khomskii that the inequality \\(\\text{cof}(l^0)>{\\mathfrak c}\\) holds under ZFC. Khomskii's proof is contained in a preprint of \\textit{J. Brendle} et al. [``Cofinality of Marczewski ideals'', Preprint, \\url{arXiv:1611.08143}]. Here, \\(l^0\\) denotes the Laver ideal.  The value of this paper is that it provides a few sufficient conditions for this inequality and proves a few slightly stronger inequalities, \\(\\text{cof}(l^0)={\\mathfrak d}({}^{\\mathfrak c} l^0) \\geq {\\mathfrak d}({}^{\\mathfrak c}{\\mathfrak c}) > {\\mathfrak c}\\), which also applicable to other tree ideals.  The author also proved a result regarding the disjoint refinements of Boolean algebras -- given a Boolean algebra \\(B\\) with cellularity hereditarily \\(\\geq \\kappa\\), every \\(\\kappa\\)-sequence of \\(B\\setminus \\{0\\}\\) can be refined by a disjoint \\(\\kappa\\)-subsequence. This is relevant to the aforementioned sufficient conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q335004$1E84C2D7-2751-438F-BD7D-F5F32C8B2CC5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$803F40BF-270E-486C-94E3-F89B2177A2EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$D76E5794-D791-45B7-8935-E9686B4A32DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$83A7BCF5-90C8-40CD-96D9-4EA6E78D6D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$317E3E7A-3D68-4F28-A4D3-6433A2B57E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"534f1fed88418d467565a6e57f13b614551bcb52","datavalue":{"value":"6646576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$5555538C-2B8C-4436-86A6-6213DEAE2C0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69398699af26a94c3cdf8a7bf0b5f20419c7d0a6","datavalue":{"value":"Laver ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q335004$91312CF5-0B07-46C8-B38F-8E5B9731C62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aacf5cb1af8381de915571d8b267d3e995144d","datavalue":{"value":"cardinal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q335004$3B759F78-AD68-490C-B74D-F285FA9EC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac6bb0c8bb23eea988cd4e6c0cc6e4cb4b854b31","datavalue":{"value":"disjoint refinements","type":"string"},"datatype":"string"},"type":"statement","id":"Q335004$B5DE420A-CC3F-43CF-BE23-FDEB673AE249","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":"Q335004$69F06474-BE9C-4C74-A7FE-944B9B306E9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f43c05b2a87a3dc6fc1ba5e209e086dd15dd1c13","datavalue":{"value":"https://doi.org/10.1007/s00153-016-0510-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q335004$61ECFD15-3EF4-48AE-90A6-68A74E61E1A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36a5628e7a2d7ff507872e978c9a85e11553fefa","datavalue":{"value":"W2523772594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$4BED9ADD-2584-4E59-8318-4D6018164E40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04753b4a1a9c4ac5821b560db438bd5ae92f01bb","datavalue":{"value":{"entity-type":"item","numeric-id":5253474,"id":"Q5253474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$50FE6970-FF8F-4088-904C-866C888FAFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f5b054cf56bca5c162e2aa9388d7b9a41035fa","datavalue":{"value":{"entity-type":"item","numeric-id":4596103,"id":"Q4596103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$9994022B-F872-463B-A221-958B069E2692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db365e1afc4d6023fb5342130bd221f698f375b","datavalue":{"value":{"entity-type":"item","numeric-id":377470,"id":"Q377470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$571904BE-F3A2-4B7C-A450-A1803C329232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f10c2da163dbd4e8a4db2c539fcf43d7ca3de3","datavalue":{"value":{"entity-type":"item","numeric-id":4845859,"id":"Q4845859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$E3ECFF2E-CD0B-46C8-88CD-5DB051F304C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$585A27D7-CE40-4743-8F9F-7C2C243AC33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c68ffba524f801c02d4c63836b2901aec86d67c","datavalue":{"value":{"entity-type":"item","numeric-id":5479078,"id":"Q5479078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$C3772DDF-8E73-4460-9EB7-4486A08E9FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a969c4cbca998ef82f26351ea3ec3da4479778c2","datavalue":{"value":{"entity-type":"item","numeric-id":4461133,"id":"Q4461133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$D1A3DFB3-48C7-46E1-A9D8-7F38F220DB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cda207e808ffb147cd7a9c28d7c0344d4404c3","datavalue":{"value":{"entity-type":"item","numeric-id":5202187,"id":"Q5202187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335004$D1F205E9-8E07-41B2-833D-66B7B310AB49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5573eef63a583b79a33e0eaa46114ff2e5a40730","datavalue":{"value":"10.1007/S00153-016-0510-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335004$4ABD74E3-6DE7-46C0-8F96-A1F0C099DCAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4523e3f14d6e877347e6dae991838a36edb12cab","datavalue":{"value":{"entity-type":"item","numeric-id":5313311,"id":"Q5313311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518fd4beccece57e9fc57f9510f0e1766c8e5a3e","datavalue":{"value":{"amount":"+0.90379363","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":"Q335004$7379D185-2218-4C99-885C-6C3696A76950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8960874479f8f7a713df97f4f3924cdff4699d","datavalue":{"value":{"entity-type":"item","numeric-id":2941237,"id":"Q2941237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6204de12d10eb41d6dd5ea86a72b867656467f3a","datavalue":{"value":{"amount":"+0.895923","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":"Q335004$05364D0E-3296-43C7-A4AA-5722AEEE4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f05896d8eb9680b75c2d4379579841bc6edc37","datavalue":{"value":{"entity-type":"item","numeric-id":5404161,"id":"Q5404161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee00b2da2afaeda2167e6f42bc9e783bf334e68","datavalue":{"value":{"amount":"+0.89534456","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":"Q335004$4B4B69A2-DA38-4189-862D-496AFA38E516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f23c4f0253781458825b4f03537873cd46f464d5","datavalue":{"value":{"entity-type":"item","numeric-id":1737236,"id":"Q1737236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2b9973d467eced2fe395d06bb9443d89630e35","datavalue":{"value":{"amount":"+0.8951765","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":"Q335004$69F99CAA-53E1-4B42-A2B9-14E04A6EA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da5b3fcc204a94819edfda0c324155e61bee328","datavalue":{"value":{"entity-type":"item","numeric-id":1088699,"id":"Q1088699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5d09a84ba9bf2bf7080b1ca40689b9c64aeaf6","datavalue":{"value":{"amount":"+0.8900255","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":"Q335004$DF5EFE33-6D1C-4651-A975-6EAC75AFF341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78717faf73b463576a4f23fa25aaa79b14ffffa2","datavalue":{"value":{"entity-type":"item","numeric-id":2376706,"id":"Q2376706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"793c6b82a72e04092fd71dc1d98ce5f409f1748b","datavalue":{"value":{"amount":"+0.8894464","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":"Q335004$678AE4BB-4BCB-4183-8FB6-1CE2532C6E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c719f8e372827ed60c35890de8c7a625cfb823ab","datavalue":{"value":{"entity-type":"item","numeric-id":2928444,"id":"Q2928444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd2ec9ee8473472424636e36c3fab1962c78556","datavalue":{"value":{"amount":"+0.887244","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":"Q335004$4B93C95E-F5D1-42A4-B3E7-06DA654557B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5dc5bcd5909ea191f915058429c73f6be75851","datavalue":{"value":{"entity-type":"item","numeric-id":4265940,"id":"Q4265940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a989db5ac8acce1412fd077cd610680ee8cab7a5","datavalue":{"value":{"amount":"+0.8858688","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":"Q335004$9B87AC1F-A72F-4D67-9E46-76A215388987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfc5454f69f697f90c1e3062e2f99e6b970f5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2348549,"id":"Q2348549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b1e01a394876ca09ca9f00beee17a93acaa83d","datavalue":{"value":{"amount":"+0.88488877","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":"Q335004$27456D63-1794-40AB-8556-F233FA44002E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a94e529941331ba33f697c65c4f3f360a03fab4","datavalue":{"value":{"entity-type":"item","numeric-id":3986403,"id":"Q3986403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45d51f7ecb2e82da69684418f4cf41d44770c87","datavalue":{"value":{"amount":"+0.8837452","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":"Q335004$6A356130-A772-404F-A872-DCCC906F4195","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofinality of the Laver ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofinality_of_the_Laver_ideal"}}}}}