{"entities":{"Q2892673":{"pageid":2903398,"ns":120,"title":"Item:Q2892673","lastrevid":51494030,"modified":"2026-01-18T12:18:07Z","type":"item","id":"Q2892673","labels":{"en":{"language":"en","value":"Some results about (+) proved by iterated forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6047774"}},"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":"Q2892673$A60C795A-5F01-4BA3-97BC-C2E76F4B6356","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdfcdf8d01ba39cd0ea3bb7fe21a799584307eb8","datavalue":{"value":{"text":"Some results about (+) proved by iterated forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2892673$B45305B4-CC00-452D-B62E-783D63D3EEC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d34496c75d62ba91d321ac56e9b52afd40f6fcae","datavalue":{"value":"1251.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892673$854CCC76-B350-4BC9-B2AF-9C23056D0806","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95bab18c4f3bd1641e967bc594db4c599b7f82bd","datavalue":{"value":{"entity-type":"item","numeric-id":477600,"id":"Q477600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$1E2D6110-9744-49A4-A3B5-172B8522AE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"598872e6d8d8dc3f918427cd9ddc91f4d3a4ecb1","datavalue":{"value":{"entity-type":"item","numeric-id":2033890,"id":"Q2033890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$C6D8F5EC-7E11-4860-8F84-60EBAD6677BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"555fba5bdc6c0bd8b767e7cf573522b7525626a8","datavalue":{"value":{"time":"+2012-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2892673$78DBBF6B-4F01-4962-A6CB-D98603C0E233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9e2405391583d31fee333923cfb197d70237b0b","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1333566635","type":"string"},"datatype":"url"},"type":"statement","id":"Q2892673$A8E2DDCD-1E35-41CE-995E-2FE0DAECFBC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892673$E0188F26-1419-4847-9E19-B278010B65E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98ca94aa6de601f7a31df2d39f496e3b8553431d","datavalue":{"value":"6047774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892673$9557DD0B-EEBF-41B9-B19B-95364A5E5101","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892673$3AA8254A-6E2A-49C3-9EB5-8F4587D03385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39ca91b38280713c6d1bede2bf831ca6e403c71","datavalue":{"value":"club guessing principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892673$2DD1961E-A494-47B1-A954-2CE191FFD0BA","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":"Q2892673$B2B7A9D2-6256-4391-B155-7532C0DEA493","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85fc71de78ccf59ff0809f8801527ce0b8baf2e3","datavalue":{"value":"W2041656193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892673$E8548A7C-1E7C-47B5-A100-02E532305ACE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b115417da4596f984d442e9c11bba2cc074d3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375363,"id":"Q4375363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$4FF4BC62-890B-4CE0-A8EE-BFC95E93C4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96f7bdcbdc4d239c3a7332dcb02ede555f785f5","datavalue":{"value":{"entity-type":"item","numeric-id":5486240,"id":"Q5486240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$D5FA42BF-2BCF-4AB9-8C3B-2AF8CF017E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edbebd48eb5afb0648e6a20d0617e53d89c90be","datavalue":{"value":{"entity-type":"item","numeric-id":2573724,"id":"Q2573724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$A74D1608-9375-4C86-814A-564383FBF43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8eace07ade14ba5921edadfbf545e5b0b724ba","datavalue":{"value":{"entity-type":"item","numeric-id":2469315,"id":"Q2469315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$5443B7BE-D3C5-47A7-A12F-5E7BB0F329EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c54431dc63a5d416ad8ec1936c3a04c06e9d33f5","datavalue":{"value":"10.2178/JSL/1333566635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2892673$596CC291-0408-47AC-A951-CAF13B5FE9F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$AF9397A1-33A5-4FBF-AD7C-A07BDB3EB6D4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d9085433f4d5438e3b740458f26aadf1b03841a","datavalue":{"value":"Let \\({\\mathcal L}\\) denote the set of all countable infinite limit ordinals. A club guessing (respectively, strong club guessing) sequence on \\(\\omega_1\\) is a sequence \\(\\langle C_\\delta : \\delta\\in {\\mathcal L} \\rangle\\) such that (i) \\(C_\\delta\\) is a cofinal subset of \\(\\delta\\), and (ii) for any club \\(D\\subseteq \\omega_1\\), the set of all \\(\\delta\\in {\\mathcal L}\\) such that \\(C_\\delta\\setminus C\\) is finite is cofinal in \\(\\omega_1\\) (respectively, contains a club subset of \\(\\omega_1\\)).NEWLINENEWLINEThe principle \\((+)\\) asserts the existence of a sequence \\(\\langle F_\\delta : \\delta\\in {\\mathcal L} \\rangle\\) such that (i) \\(F_\\delta\\) is a family of subsets of \\(\\delta\\) which is closed under supersets, contains all cobounded subsets of \\(\\delta\\) and is such that the intersection of any two of its members is cofinal in \\(\\delta\\), and (ii) for any club \\(D\\subseteq\\omega_1\\), \\(\\{ \\delta\\in {\\mathcal L} : D \\cap\\delta \\in F_\\delta\\} \\not= \\emptyset\\).NEWLINENEWLINEThe authors prove that the following three statements are consistent: (A) GCH + the negation of (+); (B) CH + (+) + there is no guessing sequence on \\(\\omega_1\\); and (C) \\(\\diamondsuit^+\\) + there is no strong club guessing sequence on \\(\\omega_1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2892673$9E0F1C17-D755-4776-BE32-95B32ABA6D78","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b505131a94c07467560b76707b78e01a9a72b95","datavalue":{"value":{"entity-type":"item","numeric-id":412068,"id":"Q412068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2892673$3D87521F-CB00-4839-B169-FCC7FC2E38A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be628228dd74c904651d1ec034eede135a82f85a","datavalue":{"value":{"entity-type":"item","numeric-id":4982445,"id":"Q4982445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3fb3863cc84586c5b9348b91e9ca1c890c7de5a","datavalue":{"value":{"amount":"+0.781112790107727","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":"Q2892673$83C58E05-5870-4A8F-873F-D49FCD59F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828f559ce07b5158b88c12f8525a0c3a5ab1d706","datavalue":{"value":{"entity-type":"item","numeric-id":904148,"id":"Q904148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143912f7cd03af409a56b33feed3a6033dc4e5ff","datavalue":{"value":{"amount":"+0.7550064325332642","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":"Q2892673$6DB96D40-623E-4487-ADA1-7B38B1DDB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7627923594ee7653dd751626c29bb05b2744c3","datavalue":{"value":{"entity-type":"item","numeric-id":5486240,"id":"Q5486240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d608036963c294ec699ab12477c412c742f12ca","datavalue":{"value":{"amount":"+0.7544881701469421","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":"Q2892673$17F9F1AD-1BAF-4B7E-9781-25224C93F05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b267dabc2e7bdb14ed8ddf8c632e3b127faf8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892674,"id":"Q2892674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2d65bdd24fa9bc91db98e22ebc281420098879","datavalue":{"value":{"amount":"+0.753904402256012","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":"Q2892673$43F30F60-5A3E-48E9-9990-22C8A67FB4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e7c0bb2fbe81f3ddc0b88f0d596c6f4236fc94","datavalue":{"value":{"entity-type":"item","numeric-id":5694200,"id":"Q5694200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d383f5fcac4bc2bf2f052557c94f425c318ac55","datavalue":{"value":{"amount":"+0.7519932985305786","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":"Q2892673$C87534DD-390F-4AF0-B2DE-3AEBD8B89E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2892673","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2892673"}}}}}