Covering for category and combinatorics on \(P_\kappa(\lambda)\) (Q819562): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2969/jmsj/1145287097 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009574656 / rank | |||
Normal rank |
Revision as of 02:20, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Covering for category and combinatorics on \(P_\kappa(\lambda)\) |
scientific article |
Statements
Covering for category and combinatorics on \(P_\kappa(\lambda)\) (English)
0 references
29 March 2006
0 references
For \(\lambda>\kappa>\omega\), set \(A\in I_{\kappa,\lambda}\) if \(A\subseteq [\lambda]^{<\kappa}\) and there is an \(a\in [\lambda]^{<\kappa}\) such that for no \(x\supseteq a\) does \(x\in A\) hold. Various properties of the ideal \(I_{\kappa,\lambda}\) are investigated. For example, it is consistent (relative to the existence of a supercompact cardinal) that \(I^+_{\kappa,\kappa^+}\to (I^+_{\kappa,\kappa^+})^n\) (\(n<\omega\)) and \(\kappa\) is the least measurable. Conditions are given for \(I^+_{\kappa,\lambda}\to(I^+_{\kappa,\lambda},\theta)^2\) in terms of ineffability, existence of Kurepa families, and cardinal invariants of \({}^\lambda 2\). It is also described when any two cofinal subsets of \([\lambda]^{<\kappa}\) contain isomorphic subsets.
0 references
\({\mathcal P}_\kappa(\lambda)\)-combinatorics
0 references