Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\) (Q1874243): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q412068
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / author
 
Property / author: Pierre Matet / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: A hierarchy of filters smaller than \(CF_{\kappa\lambda}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4071748 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4149456 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3342554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions / 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: Partially Ordered Sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial set theory: Partition relations for cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: A partition calculus in set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial Characterization of Supercompact Cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3795668 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4939404 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A partition property of a mixed type for <i>P<sub>κ</sub></i>(<i>λ</i>) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weak square bracket relations for <i>P</i><sub>κ</sub>(λ) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The nonstationary ideal on \(P_\kappa (\lambda )\) for \(\lambda \) singular / rank
 
Normal rank
Property / cites work
 
Property / cites work: On strong compactness and supercompactness / rank
 
Normal rank
Property / cites work
 
Property / cites work: A combinatorial property of <i>p</i><sub>κ</sub>λ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly compact cardinals: A combinatorial proof / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4935747 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partitioning Pairs of Countable Sets / rank
 
Normal rank

Latest revision as of 15:49, 5 June 2024

scientific article
Language Label Description Also known as
English
Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\)
scientific article

    Statements

    Partition relations for \(\kappa\)-normal ideals on \(P_{\kappa}(\lambda)\) (English)
    0 references
    22 May 2003
    0 references
    Let \(\kappa\) be a regular uncountable cardinal. Erdős and Rado have proved that \(\kappa\to(\kappa,\omega+1)^2\) holds, where \(\kappa\to(\alpha,\beta)^2\) means that for each \(2\)-coloring \(F:[\kappa]^2\to\{0,1\}\), there exists either \(A\subseteq\kappa\) of order type \(\alpha\) such that \(F\) is identically \(0\) on \([A]^2\), or \(B\subseteq\kappa\) of order type \(\beta\) such that \(F\) is identically \(1\) on \([B]^2\). Trying to establish a similar result where the domain is \(P_\kappa(\lambda)=\{A\subseteq\lambda : |A|<\kappa\}\) (\(\lambda\geq\kappa\)) rather than \(\kappa\), the author realized that in this case partition relations of mixed type are more appropriate, where the partitions are of the set \(\kappa\times P_\kappa(\lambda)\) rather than \(P_\kappa(\lambda)\times P_\kappa(\lambda)\), and have an underlying ideal \(J\) whose domain is \(P_\kappa(\lambda)\). Intuitively, the partition property \[ J^+\overset{\kappa}{\to} (J^+,\alpha)^2 \] tells that for each coloring as above and each large (with respect to \(J\)) set, either there exists a \(J\)-large \(0\)-color monochromatic subset, or there exists a \(1\)-monochromatic subset of order type \(\alpha\) (under some natural definitions of the nondefined terms above). The author shows that whenever \(J\) is \(\kappa\)-normal, \(J^+\overset{\kappa}{\to} (J^+,\omega+1)^2\) holds. The author proceeds to stronger partition properties: He gives necessary and sufficient conditions for the existence of a \(\kappa\)-normal ideal \(J\) such that \(J^+\overset{\kappa}{\to} (J^+,\theta)^2\) holds (where \(\theta\leq\kappa\) is an uncountable cardinal), and describes the least such ideal. The author also studies the case \(J=I_{\kappa,\lambda}\) (the ideal of all \(A\subseteq P_\kappa(\lambda)\) such that for some \(a\in P_\kappa(\lambda)\), no member of \(A\) contains \(a\)), and establishes some negative results. This deep and rich study of the subject is self contained.
    0 references
    0 references
    partition relations
    0 references
    \(\kappa\)-normal ideals
    0 references
    weakly compact cardinals
    0 references
    0 references

    Identifiers