{"entities":{"Q1682900":{"pageid":1693641,"ns":120,"title":"Item:Q1682900","lastrevid":70790247,"modified":"2026-04-13T17:07:52Z","type":"item","id":"Q1682900","labels":{"en":{"language":"en","value":"The tree property at double successors of singular cardinals of uncountable cofinality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815862"}},"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":"Q1682900$BA0A8723-E7C4-4194-B37C-173AA36DDFAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e66785c193966a1a19a0dc8904914ca03c02fac5","datavalue":{"value":{"text":"The tree property at double successors of singular cardinals of uncountable cofinality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1682900$D883D3CB-F76B-4339-9CD1-820E894D46A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c969743f9b8ae2b22d505aada21ca3ed3149c7d5","datavalue":{"value":"1404.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$C9310CEB-4AA2-413C-8F54-549E29B49CC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f2b2115389686798f935530714325ea58941b30","datavalue":{"value":{"entity-type":"item","numeric-id":453188,"id":"Q453188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$6F50E704-18B8-4D73-B7EF-E8E6C510176B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa0c9e1e46c6e3e340ad763ff216497615698148","datavalue":{"value":{"entity-type":"item","numeric-id":1682899,"id":"Q1682899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$71188B8E-4574-40C4-9795-67134B87F4E1","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":"Q1682900$BAF918E0-5A3C-44CE-BA42-E14E232C7B6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7867835df42d309ee48033c81160f254925ee4","datavalue":{"value":{"time":"+2017-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1682900$8A5C742B-43DB-42EE-81F7-264787CF1D4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaf3a6b1597a8c5adc929a95925d148549d42d9e","datavalue":{"value":"https://arxiv.org/abs/1612.08358","type":"string"},"datatype":"url"},"type":"statement","id":"Q1682900$6ACBC96E-6AD3-4AAB-A682-D30157802D55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b95d3315f5a8a1277f8747a11503008212abb73","datavalue":{"value":"A \\(\\kappa\\)-tree is called \\(\\kappa\\)-Aronszajn, if it has no cofinal branches. \\(\\mathrm{TP}(\\kappa)\\), the tree property of the infinite cardinal \\(\\kappa\\), is the assertion ``there is no \\(\\kappa\\)-Aronszajn tree''. \\textit{J. Cummings} and \\textit{M. Foreman} [Adv. Math. 133, No. 1, 1--32 (1998; Zbl 0949.03039)] constructed relative to the existence of a supercompact cardinal \\(\\kappa\\) and a weakly compact cardinal above it, a model such that \\(\\kappa\\) is a singular strong limit cardinal with \\(\\operatorname{cf}(\\kappa) = \\omega\\) and \\(\\mathrm{TP}(\\kappa^{++})\\) holds.   Here, the authors show, assuming the existence of a strong cardinal \\(\\kappa\\) and a measurable cardinal above it, that there is a model in which \\(\\kappa\\) is a singular strong limit cardinal of any given cofinality and \\(\\mathrm{TP}(\\kappa^{++})\\) holds. The forcing used for the construction is Magidor forcing.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682900$B4DABB39-5EC0-4220-88DF-9D32EEB3135F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$A95038F0-3DDF-4FF0-A77E-9005A6C9F484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$7456CC63-5504-4839-B12E-827E31C28A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$04C1E9DD-75DD-4F7C-92B8-4BE8F7CF201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$4B2AAA89-7429-4A96-9D04-AC08B5675084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$EE444A49-ECA6-400E-A400-014462361AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfaacc29e097f73f106e4b808afc26b9fbd6b963","datavalue":{"value":"6815862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$A1EFDE03-6B43-45F6-9D4A-766103213739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682900$6EED3061-696F-454B-BA43-39FBB085E33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682900$2D39BF51-216D-4CD8-919E-42F0123AA41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f34fd637aed5aa8e81fce705fbcf248cab36ef5","datavalue":{"value":"tree property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1682900$E976785A-F150-4846-9FD2-9176F9DBF784","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":"Q1682900$CAEC73EB-EB26-44B4-92F0-86679F0BD090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5d4e29bfab3c9ab7e4f6729f351a0fa852848f6","datavalue":{"value":"W2963932623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$2908965B-E4D3-4984-B573-A19BEEC0D4D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fc18572410b82e475f9b106f030dc44818ff1d","datavalue":{"value":{"entity-type":"item","numeric-id":1380329,"id":"Q1380329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$0C090EDE-4F48-4213-A484-ED3AE3E03D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93148fc4a2e99055a7011b59c15d9d473d9a696b","datavalue":{"value":{"entity-type":"item","numeric-id":3011116,"id":"Q3011116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$76E4EC35-1948-4F9A-A30B-9447700D1A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f14a5a38a6d73f53d08f66b70f3d3c91cd8511","datavalue":{"value":{"entity-type":"item","numeric-id":2856664,"id":"Q2856664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$576BD776-D186-4D9F-92CA-8A3FF3CFA51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff085a105da9283b5a172c963f87bc1d4f1c188b","datavalue":{"value":{"entity-type":"item","numeric-id":1709684,"id":"Q1709684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$B7D615DF-2725-44F7-997B-EFBA24C92E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb310cfcfa5e0835aea3b4204cf8f7e3b5b7122","datavalue":{"value":{"entity-type":"item","numeric-id":5146423,"id":"Q5146423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$EB109CB6-9192-42E6-987F-A7B700C67CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed8677485d366c367f1a54c50c77009f88a4e79","datavalue":{"value":{"entity-type":"item","numeric-id":5177886,"id":"Q5177886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$22D483F9-D51B-429E-9D58-6ABBC580A533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db05784e8512a0a1b98924638d7ce1e6df9cb12","datavalue":{"value":{"entity-type":"item","numeric-id":3053903,"id":"Q3053903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$3FA19B4A-C678-444B-91F3-BEE07A90D95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792619787fc92a8791f04699f311caaa4a52e7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1114682,"id":"Q1114682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$F7025D8A-2608-4BF0-A463-A7AC6B87DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff5cf66c4ab55997198eb27c78ee45b63393ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4156431,"id":"Q4156431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$D3DBFCB9-1564-4D65-ACCE-5BD48B374484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8d567c74928c0c3bd2a933b446593f4f5a5671","datavalue":{"value":{"entity-type":"item","numeric-id":3960838,"id":"Q3960838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1682900$00330126-2BAC-4383-94C2-BEE394B0F793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5321b319ae0f033d4e3fb9bfceabeb2feaaa3d5","datavalue":{"value":"10.1016/J.APAL.2017.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1682900$24736AF4-6BD1-48DF-8DF3-91D4A5BC2022","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c15a0b898fda5657dcf07f3e7c510041319bff","datavalue":{"value":{"entity-type":"item","numeric-id":2003915,"id":"Q2003915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed65ad95ab8ba59e4fd8ba8294355b1a05ecfa","datavalue":{"value":{"amount":"+0.9229766130447388","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":"Q1682900$6A712DC0-441A-40B8-ADF5-37C7A2EC870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93854b3feba508b6cc776662a4433eaee533937c","datavalue":{"value":{"entity-type":"item","numeric-id":1709684,"id":"Q1709684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a42d7732e702b5c110be3618abf8bc82abbfbae","datavalue":{"value":{"amount":"+0.9013019800186156","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":"Q1682900$6D9286D6-9373-4AC4-A601-E652FA26A616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfdb2b80181694b2c338214450c29b7d69bc1f0","datavalue":{"value":{"entity-type":"item","numeric-id":365680,"id":"Q365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56426bde24d5933563da854b178e586c4644f12f","datavalue":{"value":{"amount":"+0.9009904861450196","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":"Q1682900$B50EA596-E7CA-4E3E-BCF9-A56255642252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412b646abbc19d06fe5e0266f467c8be91243c66","datavalue":{"value":{"entity-type":"item","numeric-id":5159490,"id":"Q5159490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acecc816128c97d30cb64bc622ec466e042d790","datavalue":{"value":{"amount":"+0.89279705286026","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":"Q1682900$DA2ED710-FA1C-4043-A690-4BBD6454EDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b328e4b84f3bccf3b5e01a40f2594456d5a348","datavalue":{"value":{"entity-type":"item","numeric-id":684221,"id":"Q684221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288325aaa1b34a230beaaa57c877912427d5beda","datavalue":{"value":{"amount":"+0.8895928859710693","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":"Q1682900$8DE6BFC5-E833-4855-99A1-D16E82B4DFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The tree property at double successors of singular cardinals of uncountable cofinality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_tree_property_at_double_successors_of_singular_cardinals_of_uncountable_cofinality"}}}}}