{"entities":{"Q2853979":{"pageid":2864699,"ns":120,"title":"Item:Q2853979","lastrevid":51844919,"modified":"2026-01-20T08:03:36Z","type":"item","id":"Q2853979","labels":{"en":{"language":"en","value":"Rado's conjecture implies that all stationary set preserving forcings are semiproper"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215938"}},"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":"Q2853979$C48143AC-8A7D-4C47-ADBE-1FB378BCAC4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40fed59cce9ba8119ec255dc401c38f77ed9b506","datavalue":{"value":"1300.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$AC8DC8B2-AAA6-4310-8AF5-074936F1416D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"837b709304ff07c10df434069e5a65299143c978","datavalue":{"value":"10.1142/S0219061313500013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$A00B8085-9AAC-4E37-A21D-0E069BCB9049","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99a2da492cd6ed58655e7e604949b57f52070b3e","datavalue":{"value":{"entity-type":"item","numeric-id":61164,"id":"Q61164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$50A30BFA-C601-43B6-97C5-BB67BFD45E25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$2D43CFDC-C2C6-42E7-A94C-7F2E89F7FD42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808fc247b12b30340c51bea594eefecd0658a17c","datavalue":{"value":{"time":"+2013-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2853979$1102229F-635A-41F1-946F-B3B655352EB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$72821145-A43D-418C-B5F2-D728872AD3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$8B4776A0-EB8A-42E3-963D-4E0ADBEF24F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c665b0a5701ede61bb13e4ad216175a6838993","datavalue":{"value":"6215938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$7AAD6E16-67CC-4F73-B908-41890B35C54E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6f225d48a257cc89a73db6d07b4b40ea07c8bf","datavalue":{"value":"Rado's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$C6FDDBC6-FE24-4C1B-BD72-76805C748014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d1748161cd374b78718e9dc78eebe810016fd6","datavalue":{"value":"Chang's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$E107BF36-AD44-45F4-A968-79D65267E45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c86f45ec5e51b7c2cc0ead17deb56d389b503a71","datavalue":{"value":"semiproper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$54D791E6-A5C1-48F9-AD0C-3B8AA2A0BC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f57f3396b7dc3b9689edb5933c8efc4c8b03131","datavalue":{"value":"stationary set-preserving forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$4EB61C35-BFFE-4177-AF90-49DFBD953D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a2c86562a78dc7c6d6a36862d05bca3dcb23c75","datavalue":{"value":"semistationary reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$B92134B4-0567-45C6-BADD-2742597CC2FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5bc910f97d47ce3520646b940e67b7ab94b5c427","datavalue":{"value":"Q123197515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$ABD8A30D-65A3-47B4-AFA6-F7B311219189","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":"Q2853979$FD8C31A5-8A45-472F-B5F8-2481406DE2E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb665093664ce885d98059a157e9ab35f3c391a5","datavalue":{"value":{"entity-type":"item","numeric-id":971477,"id":"Q971477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$B858161B-B950-4C08-BB45-7227736F71CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bf68a26bc4ea23a6948c5f800e29d282e3ed13","datavalue":{"value":{"entity-type":"item","numeric-id":1102944,"id":"Q1102944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$467491BE-8470-47F2-BBDE-9A8EB77265D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfef949a231bd5055e7a94a88e09cc23117a5e37","datavalue":{"value":{"entity-type":"item","numeric-id":5387307,"id":"Q5387307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$0C90EFB4-D019-4065-AFD2-D80D1FDF0045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"337b684aa0ad1dcb77fda380fa464df559e7e80a","datavalue":{"value":{"entity-type":"item","numeric-id":5486251,"id":"Q5486251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$21E67682-4B72-403B-A589-83E0FF9509C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07f93d11219b7cce5bb4c08dae941307b0f57be","datavalue":{"value":{"entity-type":"item","numeric-id":3037413,"id":"Q3037413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$FC0324A5-A7A2-4579-B622-1DA3552D3362","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee5eba991ae8e85a2c33fda2670ac9eb960e9d3","datavalue":{"value":"https://doi.org/10.1142/s0219061313500013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2853979$3B0EBCBD-42CB-4B24-8DCC-5F9B7F88BEAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0ea912be6c4034d0be43bdc052338aea0b6c8e2","datavalue":{"value":"W2171603704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853979$154F57C4-8117-4E7D-AC49-F814FA9F0EC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e52fc5a8e546213a79eb0f03c7c9f45d5b2614a","datavalue":{"value":{"text":"Rado's conjecture implies that all stationary set preserving forcings are semiproper","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2853979$EB820926-3CF0-4764-B6AD-5D06A3F0286B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b355e15d7b0c8cc22dd3a38bf28b53d5946454e","datavalue":{"value":"The author's main result is: RC implies \\(\\text{CC}^{**}\\).NEWLINENEWLINEHere, RC (Rado's conjecture) is: If \\(T\\) is a tree such that all subtrees of \\(T\\) of cardinality \\(\\aleph_1\\) are special, then \\(T\\) is special; and \\(\\text{CC}^{**}\\) is the following generalization of a conjecture of Chang: For all \\(\\lambda\\geq\\omega_2\\), there are arbitrarily large regular cardinals \\(\\theta > \\lambda\\) such that for all well-orderings \\(< \\) of \\(H_\\theta\\) and for all \\(a\\in [\\lambda]^{\\omega_1}\\) and for all countable \\(X\\prec \\langle H_\\theta; \\in, <\\rangle\\) there is a countable \\(Y\\prec \\langle H_\\theta; \\in, <\\rangle\\) such that \\(X\\subset Y\\) and \\(X\\cap\\omega_1= Y\\cap\\omega_1\\) and there is some \\(b\\in Y\\cap [\\lambda]^{\\omega_1}\\) such that \\(a\\subset b\\).NEWLINENEWLINEA previous theorem of Doebler and Schindler established that \\(\\text{CC}^{**}\\), Semistationary Reflection (SSR) and the statement \\((\\dagger)\\) ``every stationary set-preserving forcing is semiproper'' are equivalent. So as a corollaries to his main result, the author has: RC implies \\((\\dagger)\\) and RC implies SSR. In the course of his proof, the author shows that RC entails winning strategies in cut and choose games.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853979$68DE8A14-26DE-43E3-B225-48F85FDC2A2B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853979$10979179-2B2A-4123-9B4E-71EDFEEF9321","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd47ac7d813829dccd2aa48e343c04bf5a30d6f6","datavalue":{"value":{"entity-type":"item","numeric-id":4254617,"id":"Q4254617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723bbfaef7373a0b3f47bfce82fc711b8851b758","datavalue":{"value":{"amount":"+0.8082370162010193","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":"Q2853979$5F7F2714-FA4C-4F45-911F-A93157FFF86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbbff6c7ac55ad6e1f345c0062d6bda5d8fd007","datavalue":{"value":{"entity-type":"item","numeric-id":701721,"id":"Q701721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723bbfaef7373a0b3f47bfce82fc711b8851b758","datavalue":{"value":{"amount":"+0.8082370162010193","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":"Q2853979$AF19A2BD-00C9-422E-AC71-3E56F8F88408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42e9ec3448860376ecd836012502042c084007b6","datavalue":{"value":{"entity-type":"item","numeric-id":5114805,"id":"Q5114805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c8f935e0e63bf6ed3d1401b21703f0e73c562b","datavalue":{"value":{"amount":"+0.7886492609977722","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":"Q2853979$CB3F9B7E-151F-4704-B01B-B2257995402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d5023a0818c71ddc4f683ff072d89e9b8a1c146","datavalue":{"value":{"entity-type":"item","numeric-id":971477,"id":"Q971477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c96163f29b32d385c6e57d5211a01342d2364c8","datavalue":{"value":{"amount":"+0.7310488224029541","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":"Q2853979$6B50160D-DBD7-46F0-83F9-CD0AA22729DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f636b8881626ede37ddb9298f8b99887aeec530","datavalue":{"value":{"entity-type":"item","numeric-id":2910989,"id":"Q2910989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ed999eee303b29b8505e0a89818d1fed0111ab","datavalue":{"value":{"amount":"+0.7310119271278381","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":"Q2853979$D847425B-3D71-4E33-A415-374D52F2D4E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2853979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2853979"}}}}}