{"entities":{"Q1756499":{"pageid":1767241,"ns":120,"title":"Item:Q1756499","lastrevid":68885751,"modified":"2026-04-13T02:53:36Z","type":"item","id":"Q1756499","labels":{"en":{"language":"en","value":"Stationary sets added when forcing squares"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001424"}},"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":"Q1756499$B3CF5DEC-4A51-4939-A41D-8AFFFC7C18BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ffdbe4a3186c9812546c7b3dd48aeb92a19c67","datavalue":{"value":{"text":"Stationary sets added when forcing squares","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756499$EE1384F7-09D8-4D38-BAF3-80AB78DD02BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7720030f69ca0075622b29582eac6db52c163aea","datavalue":{"value":"1446.03078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$A4C4A1CE-3E1B-4B7D-87FB-B6A3D66713A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d5f3561d3a530ac97a7d5b0145184385ec43af5","datavalue":{"value":{"entity-type":"item","numeric-id":1756498,"id":"Q1756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$A249D65F-36A7-4016-8435-D5DF98971CC6","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":"Q1756499$08400878-845F-41FB-B76B-E0E6BB579B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12b45aab6c1c4f0d6536185bb54aaca2e66e37b","datavalue":{"value":{"time":"+2019-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756499$F9B5F106-2E55-4EE4-A018-F3F0776FFECA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6fd19157e12300f05903dc5035bb01554f63fbb5","datavalue":{"value":"The \\(\\Box_\\kappa\\) principle was introduced by R. Jensen. By the way, R. Jensen did not develop \\(\\Box_\\kappa\\) to  study the fine structure of \\(L\\) as the author claims.  Jensen used this principle to build \\(\\kappa^+\\)-Souslin trees for any cardinal \\(\\kappa\\) and showed that, under \\(V=L\\), there is a \\(\\Box_\\kappa\\)-square sequence for any cardinal \\(\\kappa\\) as an outstanding application of the fine structure theory. Also, appealing  to the fine structure theory he showed that in \\(V=L\\), the cardinal \\(\\kappa\\) is weakly compact if and only if  for every stationary \\(E\\subseteq\\kappa\\) there exists a regular cardinal \\(\\lambda<\\kappa\\) such that \\(E\\cap \\lambda\\) is stationary in \\(\\lambda\\), where \\(V=L\\) is needed only in the right to the left  implication.  If \\(\\kappa\\) is a cardinal and \\(S\\subseteq\\kappa\\) is stationary in \\(\\kappa\\), it is said that \\(S\\) reflects at \\(\\alpha<\\kappa\\) if \\(\\alpha\\) has uncountable cofinality and \\(S\\cap \\alpha\\) is stationary as a subset of \\(\\alpha\\). So, when \\(\\kappa\\) is weakly compact, each stationary \\(S\\subseteq\\kappa\\) reflects at some \\(\\alpha<\\kappa\\).  The theme of the paper under review is how square-like principles stop reflection.  The author puts forward a family of square-like principles. Let \\(\\kappa\\) and \\(\\lambda\\) be infinite cardinals with \\(1<\\lambda<\\kappa^+\\). A \\(\\Box_{\\kappa,<\\lambda}\\)-sequence is a sequence \\(\\langle\\mathcal{C}_\\alpha:\\alpha \\in\\kappa\\cap \\lim\\rangle\\) with the following properties. \\begin{itemize} \\item[1.] \\(1\\leq|\\mathcal{C}_\\alpha|<\\lambda\\); \\item[2.] \\(\\mathcal{C}_\\alpha\\) consists of clubs in \\(\\alpha\\); \\item[3.] If \\(C\\in\\mathcal{C}_\\alpha\\), then \\(ot(C)\\leq\\kappa\\); \\item[4.] If \\(C\\in\\mathcal{C}_\\alpha\\) and \\(\\beta\\) is a limit point of \\(C\\), then \\(C\\cap\\beta\\in\\mathcal{C}_\\beta\\). \\end{itemize}  The principle \\(\\Box_{\\kappa,\\lambda}\\) is defined as \\(\\Box_{\\kappa,<\\lambda}\\) except that (1) is replaced by \\(1\\leq|\\mathcal{C}_\\alpha|\\leq\\lambda\\). With this notation, \\(\\Box_{\\kappa,1}\\) is \\(\\Box_\\kappa\\) and \\(\\Box_{\\kappa,\\kappa}\\) is \\(\\Box^*_\\kappa\\). There are several instances of \\(\\Box_{\\kappa,<\\lambda}\\) which preclude reflection to hold. The  forcing involved in such results use variations of two posets introduced by the author to force square-like sequences. These forcing use posets called \\(\\mathbb{S}(\\kappa,<\\lambda)\\) and CMB, the collapses-mod-bounded poset, where \\(\\mathbb{C}= \\text{CMB}\\) is defined in terms of a singular strong limit cardinal \\(\\kappa\\) of cofinality \\(\\mu\\). Associated to these two parameters we have the set \\(\\operatorname{cof}(\\mu)=\\{\\alpha\\leq\\kappa:\\operatorname{cf}(\\alpha)=\\mu\\}\\).  Both posets are \\((\\kappa+1)\\)-strategically closed, \\(\\Vdash_{\\mathbb{S}(\\kappa,<\\lambda)}\\Box_{\\kappa,<\\lambda}\\), and CMB adds \\(\\Box^*_\\kappa\\). Moreover, if \\(\\tau\\) is supercompact and \\(\\mathbb{C}\\) is defined in terms of \\(\\kappa>\\tau\\) with \\(\\operatorname{cf}(\\kappa)<\\tau\\), then the generic extension by \\(\\mathbb{C}\\) contains no very good scales on \\(\\kappa\\).  The poset  \\(\\mathbb{S}(\\kappa,<\\lambda)\\) adds non-reflecting stationary subsets of \\(\\kappa^+\\) in every cofinality. The poset \\(\\mathbb{C}\\) adds non-reflecting stationary subsets of \\(\\kappa^+\\) in cofinality \\(\\operatorname{cf}(\\kappa)\\), as described next.  The first relevant result points up that if we force with \\(\\mathbb{S}(\\kappa,<\\lambda)\\), then in the generic extension there exists a non-reflecting stationary subset of \\(\\kappa^+\\cap \\operatorname{cof}(\\mu)\\) for every regular \\(\\mu\\leq\\kappa\\). Then, the author conducts the proof  that \\(\\mathbb{C}\\) adds a non-reflecting stationary set in \\(\\kappa^+\\cap \\operatorname{cof}(\\mu)\\).  Finally, it is proved that the poset \\(\\mathbb{C}\\) does not necessarily add non-reflecting stationary sets in all cofinalities. Namely, the author shows that if \\(\\lambda\\) is indestructibly supercompact  and \\(\\omega<\\mu<\\lambda<\\kappa\\), then in the generic extension by \\(\\mathbb{C}\\), for every \\(\\tau<\\mu\\) each stationary subset of \\(\\kappa^+\\cap \\operatorname{cof}(\\tau)\\) reflects.  This is a well-written paper easy to follow when the reader is acquainted with forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756499$4C12F661-A79F-47C3-97C1-4E3A6BAC5538","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"54616e43295484ecd420b8d7dd86389e4cd8e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":1577421,"id":"Q1577421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$072572CF-3BCC-4FFA-9FA3-878312F20AB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$EA4E9C6E-7661-40D3-B9FE-1EDEFFEB6DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$28FD52F9-B9D6-4D8D-A626-BFFA60BB04EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$67C42B0F-09F0-43D6-B61B-B3B2CF1ABCC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6468c444acfbe0d4d59b4c6d7055ccc6c916b459","datavalue":{"value":"7001424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$24236FF4-1747-4C4E-8401-B55C2C27B622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d73285b71dbcae5267623a51124d5db247da70e","datavalue":{"value":"forcing square-like principles reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756499$ABC7872C-6060-42A9-A050-205EF3D251C3","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":"Q1756499$61E6216B-376B-4B08-B25D-26F3170CD4F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8571128c260333f0ac52f0cacfdd56f3d35d3746","datavalue":{"value":"https://doi.org/10.1007/s00153-018-0613-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756499$1726238A-32FF-4C3B-812D-8D5F4F2EBFC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f76f0fabc6b9b21b3ffbc9b43b840efbe5c9f20","datavalue":{"value":"W2786286890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$7B82E02C-9AA5-4DF2-9EDC-5C3237813018","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad4894230970303ba2a5fcdc2e203bbd56a65f0","datavalue":{"value":{"entity-type":"item","numeric-id":2732507,"id":"Q2732507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$10047F57-7F80-4216-A8C1-3F3410865DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26475d8af2aa23f1b637d663e36d248efdaf3d3c","datavalue":{"value":{"entity-type":"item","numeric-id":3053902,"id":"Q3053902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$AE7A5FF6-FC8D-4175-A386-3EDFD01CD427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$9C7E8FDD-928C-47CE-A0EC-8DC7359D8A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b12b8afcd7ce10003fb014a71b600b2bc6250c","datavalue":{"value":{"entity-type":"item","numeric-id":1247322,"id":"Q1247322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$69ED11D1-B46E-4673-B83A-236095106ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25a2f2da894904eaa9061f0279aafe08558afb9","datavalue":{"value":{"entity-type":"item","numeric-id":4638970,"id":"Q4638970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$38361A51-0630-4055-9751-824406F3F263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba8a8919b1f1b4c4e1fea2717501e322b031d42","datavalue":{"value":{"entity-type":"item","numeric-id":1896486,"id":"Q1896486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$58FC75F8-6163-46D4-947E-17B34B89A23A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02cb7344cc14146cd3e9c5b40b9b8540fb64e7b3","datavalue":{"value":"10.1007/S00153-018-0613-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756499$DD27808A-93E4-4423-B9FF-8418D5D89038","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfec26f910c4a87fd70d4375790bfefd404b26e","datavalue":{"value":{"entity-type":"item","numeric-id":1669669,"id":"Q1669669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fe16f4e552603fd03d0178fe25766a85954cd2","datavalue":{"value":{"amount":"+0.816108763217926","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":"Q1756499$C83CFDC6-0F10-4799-A606-0196B24686FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ec47c04f194dccc059b6aa96145a533dc84ad9","datavalue":{"value":{"entity-type":"item","numeric-id":732055,"id":"Q732055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9c516cdddbef2bbc63b4f4325fd5b668429591","datavalue":{"value":{"amount":"+0.8108186721801758","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":"Q1756499$6AE8490F-6E58-4CE0-827D-616CEB32AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467fdd067c78d2526bf71d6e7ea5f0c30f64a2e1","datavalue":{"value":{"entity-type":"item","numeric-id":375792,"id":"Q375792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10747f566c0d40deb88b7ed100c2070fb66aa0b5","datavalue":{"value":{"amount":"+0.7889124155044556","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":"Q1756499$27A80B11-5AB9-460F-BB62-AF6B7E4FD9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e45a7817dc84a1dcb4cb144700c902e86bdd9c","datavalue":{"value":{"entity-type":"item","numeric-id":2503397,"id":"Q2503397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc19640f3602b34bf6f0a28d7432378ac4a2fea4","datavalue":{"value":{"amount":"+0.7883086800575256","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":"Q1756499$6F0EAE27-2D8B-4670-85A0-C6A2DD017F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ad3562ebc2fb2604a16d0c4ebca5e12eb5ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4523056,"id":"Q4523056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f5866ea611135a03c978ae6592d7dad6b20ae0","datavalue":{"value":{"amount":"+0.777872622013092","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":"Q1756499$ED1119C8-062B-4104-A49A-E5C57C772166","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756499$F661022B-6AD6-461D-A999-C977C51D2468","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stationary sets added when forcing squares","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stationary_sets_added_when_forcing_squares"}}}}}