Combinatorial dichotomies and cardinal invariants

DOI10.4310/MRL.2014.V21.N2.A13zbMATH Open1341.03060arXiv1305.5783MaRDI QIDQ743757FDOQ743757

Stevo Todorčević, Dilip Raghavan

Publication date: 30 September 2014

Published in: Mathematical Research Letters (Search for Journal in Brave)

Abstract: Assuming the P-ideal dichotomy, we attempt to isolate those cardinal characteristics of the continuum that are correlated with two well-known consequences of the proper forcing axiom. We find a cardinal invariant $mathfrakx$ such that the statement that $mathfrakx>{omega}_1$ is equivalent to the statement that 1, $omega$, ${omega}_1$, $omegaimes{omega}_1$, and ${left[{omega}_{1}ight]}^{<omega}$ are the only cofinal types of directed sets of size at most ${aleph}_1$. We investigate the corresponding problem for the partition relation ${omega}_{1}ightarrow({omega}_1,alpha{)}^2$ for all $alpha<{omega}_1$. To this effect, we investigate partition relations for pairs of comparable elements of a coherent Suslin tree $mathbbS$. We show that a positive partition relation for such pairs follows from the maximal amount of the proper forcing axiom compatible with the existence of $mathbbS$. As a consequence we conclude that after forcing with the coherent Suslin tree $mathbbS$ over a ground model satisfying this relativization of the proper forcing axiom, ${omega}_{1}ightarrow{({omega}_1,alpha)}^2$ for all $alpha<{omega}_1$. We prove that this positive partition relation for $mathbbS$ cannot be improved by showing in $mathrmZFC$ that $mathbbSotightarrow({aleph}_1,omega+2{)}^2$.

Full work available at URL: https://arxiv.org/abs/1305.5783

zbMATH Keywords

cardinal invariantsLaver propertypartition relationcoherent Suslin treecombinatorial dichotomiesP-ideal dichotomy

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17) Other set-theoretic hypotheses and axioms (03E65)

Cited In (13)

• Dually properties and cardinal inequalities
• Combinatorial Dichotomies in Set Theory
• Title not available (Why is that?)
• Incompatible extensions of combinatorial functions
• Hausdorff gaps and towers in P(ω)/ Fin
• Suslin trees, the bounding number, and partition relations
• Small diagonals and cardinal invariants
• Cardinal characteristics of the continuum and partitions
• Title not available (Why is that?)
• The \(P\)-ideal dichotomy, Martin's axiom and entangled sets
• Combinatorial principles on \(\omega_{1}\), cardinal invariants of the meager ideal and destructible gaps
• Cardinality problems of compositions of morphisms and inverse morphisms
• Combinatorial Cardinal Characteristics of the Continuum

This page was built for publication: Combinatorial dichotomies and cardinal invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q743757)