The combinatorial essence of supercompactness (Q450963): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
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. These 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. Let 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. At 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. The results in this paper are from the author's PhD dissertation [Subtle and ineffable tree properties. PhD thesis. München: Ludwig {M}aximilians {U}niversität (2010), \url{http://edoc.ub.uni-muenchen.de/11438}]. | |||
Property / review text: 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. These 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. Let 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. At 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. The results in this paper are from the author's PhD dissertation [Subtle and ineffable tree properties. PhD thesis. München: Ludwig {M}aximilians {U}niversität (2010), \url{http://edoc.ub.uni-muenchen.de/11438}]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Xianghui Shi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E65 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6086903 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ineffable cardinal | |||
Property / zbMATH Keywords: ineffable cardinal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
strongly compact cardinal | |||
Property / zbMATH Keywords: strongly compact cardinal / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
supercompact cardinal | |||
Property / zbMATH Keywords: supercompact cardinal / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2127604217 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1012.2040 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of ineffability properties of \(P_{\kappa}\lambda\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some combinatorial problems concerning uncountable cardinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stacking mice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some partition relations for ideals on \(P_{\kappa}\lambda\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing indestructibility of set-theoretic axioms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A general Mitchell style iteration / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial Characterization of Supercompact Cardinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aronszajn trees and the independence of the transfer property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4078034 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Partitioning pairs of countable ordinals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the consistency strength of the proper forcing axiom / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:04, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The combinatorial essence of supercompactness |
scientific article |
Statements
The combinatorial essence of supercompactness (English)
0 references
26 September 2012
0 references
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. These 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. Let 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. At 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. The results in this paper are from the author's PhD dissertation [Subtle and ineffable tree properties. PhD thesis. München: Ludwig {M}aximilians {U}niversität (2010), \url{http://edoc.ub.uni-muenchen.de/11438}].
0 references
ineffable cardinal
0 references
strongly compact cardinal
0 references
supercompact cardinal
0 references