# zbMATH — the first resource for mathematics

Weak square bracket relations for $$P_{\kappa } (\lambda )$$. (English) Zbl 1177.03047
Let $$\kappa$$ and $$\lambda$$ be infinite cardinals with $$\lambda \geq \kappa$$. For $$X,Y \subseteq P(P_{\kappa}(\lambda))$$ and a cardinal $$\rho$$, $$X \rightarrow [Y]^2_{\rho}$$ has the following meaning: Given $$F : P_{\kappa}(\lambda) \times P_{\kappa}(\lambda) \rightarrow \rho$$ and $$A \in X$$, one can find $$B \in Y \cap P(A)$$ and $$\xi < \rho$$ so that $$F(a,b) \neq \xi$$ for all $$a,b \in B$$ with $$a \subset b$$.
Todorčević has shown that that $$\{ P_{\kappa}(\lambda) \} \rightarrow [I_{\kappa,\lambda}^+]_{\lambda}^2$$ does not hold.
This led to the following weaker partition relation:
For $$X,X \subseteq P(P_{\lambda}(\lambda))$$ and $$\rho$$ a cardinal, let $$X \overset{w}{\longrightarrow} [Y]_{\rho}^2$$ mean that given $$F : P_{\kappa}(\lambda) \times P_{\kappa}(\lambda) \rightarrow \rho$$ and $$A \in X$$, one can find $$B \in Y \cap P(A)$$ and $$\xi < \rho$$ such that $$\{ b \in B : F(a,b) = \xi\} \in I_{\kappa,\lambda}$$ for every $$a \in B$$.
The author studies this partition relation. His main result asserts that if $$\kappa$$ is an uncountable strongly compact cardinal and $$\mathfrak{d}_{\kappa} \leq \lambda^{<\kappa}$$, then $$I_{\kappa,\lambda}^+ \overset{w}{\longrightarrow} [I_{\kappa,\lambda}^+]_{\lambda^{<\kappa}}^2$$ does not hold.

##### MSC:
 300 Partition relations 3e+55 Large cardinals
Full Text:
##### References:
 [1] DOI: 10.1007/BF01903842 · Zbl 0733.03039 [2] DOI: 10.1007/BF02762383 · Zbl 1119.03045 [3] DOI: 10.1090/S0894-0347-1991-1122043-8 [4] Partitioning pairs of countable sets of ordinals 55 pp 1019– (1990) [5] Set theory (2003) [6] Proceedings of the American Mathematical Society 111 pp 841– (1991) [7] DOI: 10.1007/BF01624081 · Zbl 0663.03041 [8] DOI: 10.1007/BF02392561 · Zbl 0658.03028 [9] DOI: 10.1007/BF01886396 · Zbl 0158.26603 [10] Handbook of set theory [11] Proceedings of the American Mathematical Society 102 pp 1000– (1988) [12] Axiomatic set theory 13 pp 397– (1971) [13] DOI: 10.1142/S021906130100003X · Zbl 0988.03075 [14] Fundamenta Mathematicae 84 pp 101– (1974) [15] DOI: 10.1007/s001530000054 · Zbl 1022.03024 [16] DOI: 10.1007/BF02761035 · Zbl 0864.03032 [17] Annals of Pure and Applied Logic [18] DOI: 10.1090/S0002-9939-05-08206-7 · Zbl 1094.03030 [19] Set theory pp 319– (2006) [20] DOI: 10.2969/jmsj/1145287097 · Zbl 1118.03036 [21] Mathematical Logic Quarterly 49 pp 1– (2003) [22] DOI: 10.4064/fm171-3-4 · Zbl 1029.03035 [23] Logic colloquium ’69 pp 107– (1971) [24] DOI: 10.1016/0003-4843(70)90013-6 · Zbl 0236.02053 [25] DOI: 10.1016/j.disc.2004.04.026 · Zbl 1071.03030 [26] The higher infinite (1994) [27] Logic colloquium ’80 108 pp 153– (1982) [28] Cardinal arithmetic 29 (1994) · Zbl 0848.03025 [29] DOI: 10.1090/S0273-0979-1992-00261-6 · Zbl 0771.03017 [30] A combinatorial property of p {$$\kappa$$}{$$\lambda$$} 41 pp 225– (1976) [31] DOI: 10.1090/S0002-9947-05-04007-9 · Zbl 1118.03039 [32] DOI: 10.1007/s001530200140 · Zbl 1025.03038 [33] DOI: 10.1016/0003-4843(72)90001-0 · Zbl 0257.02035
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.