{"entities":{"Q720758":{"pageid":722607,"ns":120,"title":"Item:Q720758","lastrevid":63821271,"modified":"2026-04-11T15:46:39Z","type":"item","id":"Q720758","labels":{"en":{"language":"en","value":"Club isomorphisms on higher Aronszajn trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904743"}},"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":"Q720758$4EF427D2-7736-4AD1-9B58-A9B2B4DFF468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93275e1a730cd27437aa302d2559ad3f26d57a34","datavalue":{"value":{"text":"Club isomorphisms on higher Aronszajn trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q720758$3E6C9763-573F-4369-8470-F176DAA61E2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fadaa5ff520d2e351b8c04ec14055b3822beee59","datavalue":{"value":"1445.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$402EE656-B9CD-4910-856F-04202CDB8E5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc0e15ab3ab1507f53f52b00e81be76ae7dc2d5","datavalue":{"value":{"entity-type":"item","numeric-id":386632,"id":"Q386632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$7151DB40-A20C-49A9-9D8A-92736A37FC67","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":"Q720758$9B3CBDC5-D37E-48B5-8C24-2C2A921BB6D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-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":"Q720758$8ABEFBA1-5FEA-4ED1-9D28-81F07CD1C60D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dacadf76f6b1cccc09221d9131518b8f0e89092","datavalue":{"value":"https://arxiv.org/abs/1708.00528","type":"string"},"datatype":"url"},"type":"statement","id":"Q720758$5C349D63-443E-45DE-93EE-0ED417C2B1E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1078b97afc584793a58c32ce6e691e681fc6c53","datavalue":{"value":"In the paper under review, the author proves that it is consistent, relative to an ineffable cardinal, that  the continuum hypothesis holds and every two \\(\\sigma\\)-closed \\(\\omega_2\\)-Arsonszajn trees are club isomorphic.   Consistency results about the structure of \\(\\omega_1\\)-trees played a crucial role in the development of forcing technique, such as iteration of forcing notions with the countable chain condition [\\textit{R. M. Solovay} and \\textit{S. Tennenbaum}, Ann. Math. (2) 94, 201--245 (1971; Zbl 0244.02023)] and proper forcing [\\textit{S. Shelah}, Proper and improper forcing. 2nd edition. Reprint of the 1998 original published by Springer. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2016; Zbl 1365.03012)]. When trying to generalize consistency results from \\(\\omega_1\\)-trees to \\(\\omega_2\\)-trees one faces the problem that there are no parallel iteration and preservation theorems for \\(\\omega_2\\). Thus, typically, obtaining consistency results for \\(\\omega_2\\)-trees is more difficult, and has non-trivial consistency strength.  The result of this paper generalizes two previous results. The first one is from [\\textit{U. Abraham} and \\textit{S. Shelah}, Isr. J. Math. 50, 75--113 (1985; Zbl 0566.03032)], in which the consistency of club isomorphism between any two \\(\\omega_1\\)-Aronszajn trees is obtained using an iteration of proper forcings. The second one is from [\\textit{R. Laver} and \\textit{S. Shelah}, Trans. Am. Math. Soc. 264, 411--417 (1981; Zbl 0495.03034)], in which the consistency of ``\\(\\mathrm{CH}\\)  and every \\(\\omega_2\\)-Aronszajn tree is special'' is proved, relative to a weakly compact cardinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$504E1038-E6BC-4160-B847-C8BCB247CCF6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10e3f30cc008c5d436ae2b138f1630fe077d870f","datavalue":{"value":{"entity-type":"item","numeric-id":283094,"id":"Q283094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$B6458F39-7B2E-45ED-9DE3-1796B01724A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$73948350-FB06-4BF0-84E9-8AAFB7C9D9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$FF66439A-BA1F-4246-9CCF-4FF9D12A3DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$6881AAD9-0C95-40E7-BECE-F2327CC9A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$940E4C2F-8ED6-435F-AEA8-9BA26ACBC941","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e9c477911f67e4d0b6112b4899636c0d29020cf","datavalue":{"value":"6904743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$940F5470-071E-4121-BF44-0E2B31911C19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb0b5fd5f978fcc90e438d0c7cd90b5b85715fa","datavalue":{"value":"Aronszajn tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$64B831C8-A8A3-4D06-8458-9E0A6AC11BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122355b5d6e303cf160e596c5dccc35cbb19329c","datavalue":{"value":"Suslin's hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$2C7A6DBB-193A-4648-AF4C-F57ECB835FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73295a660180c1d2450191d816f22082a9a75b68","datavalue":{"value":"club isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$F80BF259-B235-44BD-9559-5C54CFA956E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197bf8c032310a655db6eebd98d37c5977dc801f","datavalue":{"value":"ineffable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$EC547259-AFDE-419A-B397-837FB6987464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18885a93927f64296b8c1cea49fd52799f419953","datavalue":{"value":"side conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q720758$232776BA-5FC2-4D0C-AB9B-86E3960F23C4","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":"Q720758$6A15563B-7902-48AF-A9F1-93C66EA6CAB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0169f585f2cd6ba6796b733bd4f86d17d6147252","datavalue":{"value":"W2963616402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$29DC9B0D-FC8C-4ED1-BEE4-E616533FDA01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda520519f9bb0d7247c9eed54cc3d7bf512bffe","datavalue":{"value":{"entity-type":"item","numeric-id":1059070,"id":"Q1059070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$5EA687E4-AEB9-42E5-961A-95B03538F107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4683e4c5c1ebf90a4c8403740daac7eeebf64e1","datavalue":{"value":{"entity-type":"item","numeric-id":4071748,"id":"Q4071748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$0F9295E3-E0FD-40DB-B03A-30DD106EB5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ad326545ad061223fc7a4a3d37c6d2a3670cf3","datavalue":{"value":{"entity-type":"item","numeric-id":2805037,"id":"Q2805037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$25970B11-384B-46EF-9E83-D9B48AC1D57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865366d5e5dc0cc1d3e4208c4e4583fd4b14d10c","datavalue":{"value":{"entity-type":"item","numeric-id":2904376,"id":"Q2904376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$8C08E8EA-371F-4917-88AE-6AC1A47B786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d514c27384dc34a1825b7faf560f2f3a1d4df02","datavalue":{"value":{"entity-type":"item","numeric-id":3958455,"id":"Q3958455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$8EC77884-DDB5-4304-85A7-BCB94DEE2E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85fa0e24b215636d6bf63fec7987e4925c1200bb","datavalue":{"value":{"entity-type":"item","numeric-id":3605835,"id":"Q3605835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$1232B761-8D82-423D-B765-F233F1FD6CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5520df82149b877fa6f48331d45b5c06f827ec3b","datavalue":{"value":{"entity-type":"item","numeric-id":2554696,"id":"Q2554696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q720758$78E894CE-79AB-4999-AB49-FA814259653E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec100832e691476bed495249c37ab1a9870dc623","datavalue":{"value":"Q129761254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$0F2F95B5-D27F-4896-8B2A-A97AB99C7031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e78e44349b82df61fe4d4fcfaa9e70b8ec52e1b2","datavalue":{"value":"10.1016/J.APAL.2018.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q720758$2D70A52A-35B0-4D8A-A65F-1DC660C61F8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534e259f1ef6b2f7fae00a7071ee343817017541","datavalue":{"value":{"entity-type":"item","numeric-id":3727985,"id":"Q3727985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd34a3d3a919f4f9ac127910536c2ff91998d22","datavalue":{"value":{"amount":"+0.7740356922149658","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":"Q720758$91EBF771-2E78-43F6-96E9-8DD5418DA246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba50a4fa96072478d1aabb4c17a6b95b15ec9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2717756,"id":"Q2717756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10567e5378151a1cb7434f9e5dd3de60790259b0","datavalue":{"value":{"amount":"+0.7660157084465027","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":"Q720758$DCE53034-996C-4EEE-9426-36A1A141C5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ea3091309c66c17523f20e3794d08f07654432","datavalue":{"value":{"entity-type":"item","numeric-id":1380329,"id":"Q1380329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb9a0bd421516c72fbdf1c6490f6ef52ac5a669","datavalue":{"value":{"amount":"+0.7599347233772278","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":"Q720758$4380E356-913B-4F6D-9205-8A091C13D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82eb7c1be499b13c7ed65cfc071c5d85270fa45c","datavalue":{"value":{"entity-type":"item","numeric-id":3495350,"id":"Q3495350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adaf0797e5b35988ab05c5fff3e98b00a04e5f15","datavalue":{"value":{"amount":"+0.7551975846290588","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":"Q720758$B0BEA965-2D23-4B79-AAED-331B69530389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ce323d0944c4729b0e149e5f3afe0475568636","datavalue":{"value":{"entity-type":"item","numeric-id":3982417,"id":"Q3982417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa21d5458e676ba0e382cbb10683c9201a8e4fc2","datavalue":{"value":{"amount":"+0.7437389492988586","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":"Q720758$461F81AE-2DAE-484A-9F09-E02819C7BCAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Club isomorphisms on higher Aronszajn trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Club_isomorphisms_on_higher_Aronszajn_trees"}}}}}