{"entities":{"Q450963":{"pageid":452730,"ns":120,"title":"Item:Q450963","lastrevid":61928433,"modified":"2026-04-11T02:36:32Z","type":"item","id":"Q450963","labels":{"en":{"language":"en","value":"The combinatorial essence of supercompactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086903"}},"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":"Q450963$CD2F2B3E-90D3-4F11-84D1-0F3C5C277ED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"478bdea924e333aee20c50952f281143d15d82b3","datavalue":{"value":{"text":"The combinatorial essence of supercompactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q450963$42BB40EB-BA8A-46AF-B31D-507B241826D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00e72e9e1868655b18f724385fb4a908cd47a523","datavalue":{"value":"1280.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$82AAD402-7ABC-4C74-AC26-4D12AF228FCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c528a29b9688f3409c19efe78bd7a0de4fdccb4","datavalue":{"value":{"entity-type":"item","numeric-id":450962,"id":"Q450962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$8D8E49D6-1D4C-44C1-90CF-B8DB0E2B0FFD","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":"Q450963$F118047A-BB85-43D0-83C2-0D96B5E9940C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ff14cc0faaae3f6137e4b5dbfd88aaa86e04aea","datavalue":{"value":{"time":"+2012-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q450963$2219B5DF-5C71-4B4B-968B-B1DEBF233B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6836f998a20bcc1035feba51d32c4f3cb3aa834","datavalue":{"value":"https://arxiv.org/abs/1012.2040","type":"string"},"datatype":"url"},"type":"statement","id":"Q450963$D8108784-5022-49AD-A70C-AAD36CD07E26","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$E913754D-60C3-4BA6-87F1-E644F62BCC74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$79E6D4E0-8C96-4D30-81BF-4923DD386C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$7F62683B-5647-4D61-A1B2-8A1C5FBE6FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$8706E42C-D76D-4299-84CE-4FC31F39B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$0988EDBD-5EF0-4055-A20C-153430F1B55B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"400ae407b3e5230b07dee16028e8cff08a94cd36","datavalue":{"value":"6086903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$7D84978E-2ED7-4652-B651-DA6BE9CB1768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197bf8c032310a655db6eebd98d37c5977dc801f","datavalue":{"value":"ineffable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q450963$F455DAA8-D877-4D33-B99D-CB65F64AF97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9907c21cbac3360f7e105b987a79569c68a35f92","datavalue":{"value":"strongly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q450963$45EAB264-21A0-4952-A1D9-D4D419A8B436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q450963$6A063D96-A599-42AF-BAAF-9C6509BFDCD2","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":"Q450963$802BC7FE-E1F3-41AF-9A6D-F6BCF0C21656","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1953c6675e2433a694c0b53b06e42e88b4d7b938","datavalue":{"value":"W2127604217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$4C8B604E-3AE7-454E-8566-CC2F1F222855","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b416f19790142af0671d909af9ea55c6802c3d","datavalue":{"value":{"entity-type":"item","numeric-id":1087870,"id":"Q1087870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$46CF523B-8F1E-4AA2-B194-B41E90498643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f17e3441fd265e57908ab0f98cf65c1116960","datavalue":{"value":{"entity-type":"item","numeric-id":5677492,"id":"Q5677492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$ECA0C0C0-1A38-415D-9F42-778A5FD35D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a5c9b6506f3272a07ef3ae4c6f933582705d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3616355,"id":"Q3616355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$C00C9B87-153C-49E9-A0CC-7653A2E171D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952764849140b41eaf2cc7f4aeeb2696104f0e8d","datavalue":{"value":{"entity-type":"item","numeric-id":810017,"id":"Q810017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$619438DC-1B43-4610-B2E4-B36AC8CDCB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c67c51bf0448e8bd217c4f26fc9a9411c6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":3426578,"id":"Q3426578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$9A2B6B5F-CF02-43B5-A3A1-6B7718EA642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790940de312b270053088d933cc09b44fc67e9c3","datavalue":{"value":{"entity-type":"item","numeric-id":3545217,"id":"Q3545217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$73CA4108-56DA-45ED-AEDB-6AA90D1BBD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9425a1d20c130ab7561424ba1ac8f2656700def","datavalue":{"value":{"entity-type":"item","numeric-id":4404891,"id":"Q4404891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$7A44D002-DB05-4E64-B328-4FF4468987D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb4cc06b8d6814ebc2eef430b364e7b7ec7a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":5668481,"id":"Q5668481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$A70757A4-509E-43C0-9740-26CB395A648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94578bc09f15fc9565825cc3765e93aa0ccf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":4078034,"id":"Q4078034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$992881CD-8403-4C61-9329-6DF5F7108CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add39993ad64fcea5e8edce49e746268fda7e488","datavalue":{"value":{"entity-type":"item","numeric-id":1111550,"id":"Q1111550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$7218C283-05F7-4812-9FD8-24CA236C97D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931d6a54388faa34015d290701a03e80b50eaa55","datavalue":{"value":{"entity-type":"item","numeric-id":645215,"id":"Q645215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450963$7336BD71-16C2-4D9D-AFD8-192D64414FE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d53ca18d04f0764bd32f4997e57dfc0e00731f9","datavalue":{"value":"10.1016/J.APAL.2011.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450963$22581557-A656-43EB-87B6-D37E08DE9CAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8375dac921de618830c8497d84b612cc902b931","datavalue":{"value":{"entity-type":"item","numeric-id":4916563,"id":"Q4916563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0514da26b805a5b0f7120204aea59a0c1d5e6aa1","datavalue":{"value":{"amount":"+0.79310745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$842BDCC5-84D3-4C11-B8C8-64B7FDD8483D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd5f7c70bf6364190a6da6bca855e13d9cbecd15","datavalue":{"value":{"entity-type":"item","numeric-id":3298985,"id":"Q3298985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56feb574440a7c091e18c27cbc1b9f3788c9004","datavalue":{"value":{"amount":"+0.73179096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$F48C13AD-F95C-4FC3-9BA3-DF6666EEE0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a1e670a82cd1028c6d85ff33206098d733caf0","datavalue":{"value":{"entity-type":"item","numeric-id":2182035,"id":"Q2182035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6695846cc69afdaf039509f29ce95b7b9b92087","datavalue":{"value":{"amount":"+0.7300614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$31D690D8-2C1B-4B9B-8713-3BF1776CBF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31c38ce62d287b9ca9e1feff010d1a784bb2bfe","datavalue":{"value":{"entity-type":"item","numeric-id":5108097,"id":"Q5108097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352a9e1ffd13a18d5a14c7bf7705c3a1d1c9c048","datavalue":{"value":{"amount":"+0.7267568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$133C818A-B722-465B-AE60-425AB365C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1782bafec19286cfd250218bf6dbd07421a0612","datavalue":{"value":{"entity-type":"item","numeric-id":2710617,"id":"Q2710617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0223ebf51ba83f6cdc52d35db1bb9edea5841a8b","datavalue":{"value":{"amount":"+0.72396725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$9BC8DC62-5BF3-4A8D-963B-2ACD912E550C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38c4c891ea3b90a52b692f500871bde88fa4b66","datavalue":{"value":{"entity-type":"item","numeric-id":819562,"id":"Q819562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d5fe384423df0bc593a2aeac94219a15a22b52","datavalue":{"value":{"amount":"+0.72118783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$6639C7DA-1910-4412-AFF5-26D28639008C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0228ae025adfb0ab2a3b8c3af5238a9760573e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2032998,"id":"Q2032998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c873fa19356fa717ec2aa19b4696ddf251af6","datavalue":{"value":{"amount":"+0.71743965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$F2A26AB1-D62A-4E5D-8DAB-E0F0BC8C89A1","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":"6106189ab0b62c6e88e7c7562b592165af80e3d2","datavalue":{"value":{"amount":"+0.71713084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$28F411C7-3F8B-4F2D-9804-1C4A92A87B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169f9b1ca33c44b47a3225879a5f0f200f8273c7","datavalue":{"value":{"entity-type":"item","numeric-id":2190057,"id":"Q2190057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925681639141d8aec9f61dace26263807b7e3013","datavalue":{"value":{"amount":"+0.7007745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$4DDA9649-311B-48E0-AEC5-5B799FCBCDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5dcbcea8219977f4a8c4dabe24d90f1754f9a61","datavalue":{"value":{"entity-type":"item","numeric-id":331044,"id":"Q331044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574440101fc1ee9dd866b5c1e134d92d1bd9dc3a","datavalue":{"value":{"amount":"+0.69919765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q450963$45B41434-DF1A-4470-884F-0F1FF4EF4547","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a38b53f6ecc95eeb61c4c94624ca172c31ac8ccb","datavalue":{"value":"In [Ann. Math. Logic 5, 165--198 (1973; Zbl 0262.02062)] \\textit{T.~J. Jech} introduced the notion of \\((\\kappa,\\lambda)\\)-mess (called \\(P_\\kappa\\lambda\\)-list in this paper) as a generalization of \\(\\kappa\\)-tree and used it to characterize strongly compact cardinals. In [Proc. Am. Math. Soc. 42, 279--285 (1974; Zbl 0279.02050)] \\textit{M.~Magidor} extended Jech's result to supercompactness. Based on these characterizations, the author of the paper under review introduces the following combinatorial principles: \\textbf{TP}\\((\\kappa,\\lambda)\\), \\textbf{SP}\\((\\kappa,\\lambda)\\), \\textbf{ITP}\\((\\kappa,\\lambda)\\) and \\textbf{ISP}\\((\\kappa,\\lambda)\\). He also defines and investigates the canonical ideals associated to the latter two principles.NEWLINENEWLINEThese principles are consistency-wise lower than the existence of a supercompact cardinal (see Corollary 5.6). In particular, the author shows that the principle \\textbf{ITP}\\((\\kappa,\\lambda)\\) implies the failure of a variant of Schimmerling's two-cardinal square principle (Theorem 4.2), giving lower bounds on its consistency strength. By results from inner model theory, the consistency of \\textbf{ITP}\\((\\kappa,\\lambda^+)\\) for suitable \\(\\kappa\\), \\(\\lambda \\) (Theorem 5.10 and its corollaries) implies that there is an inner model with a proper class of strong cardinals and a proper class of Woodin cardinals.NEWLINENEWLINELet us say a regular uncountable cardinal \\(\\kappa\\) has the \\textit{super tree property} if \\textbf{ITP}\\((\\kappa,\\lambda)\\) holds for all \\(\\lambda\\geq \\kappa\\). The author proves that for every \\(n\\geq 2\\) there is a model of the super tree property for \\(\\aleph_n\\), assuming the existence of one supercompact cardinal (see Corollary 5.6 for the case \\(n=2\\)). Later, \\textit{L.~Fontanella} [J. Symb. Log. 78, No. 1, 317--333 (2013; Zbl 1279.03070)] and Unger independently obtained a model in which every \\(\\aleph_n\\), \\(n\\geq 2\\), satisfies the super tree property, assuming the existence of infinitely many supercompact cardinals.NEWLINENEWLINEAt the end of the paper, the author also mentions his joint work with \\textit{M.~Viale} [Adv. Math. 228, No. 5, 2672--2687 (2011; Zbl 1251.03059)], which includes an interesting application of these principles in constructing models of \\textbf{PFA} from large cardinal assumptions.NEWLINENEWLINE The results in this paper are from the author's PhD dissertation [Subtle and ineffable tree properties. PhD thesis. M\u00fcnchen: Ludwig {M}aximilians {U}niversit\u00e4t (2010), \\url{http://edoc.ub.uni-muenchen.de/11438}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q450963$FED7B908-62D7-4377-861B-C92762FB40AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The combinatorial essence of supercompactness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_combinatorial_essence_of_supercompactness"}}}}}