Many partition relations below density

DOI10.1007/S11856-012-0027-YMaRDI QIDQ375799zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 1 November 2013

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

forcingpartition relationstopological spaces

Mathematics Subject Classification ID

Partition relations (03E02) Consistency and independence results (03E35) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25)

Abstract: We force 2^lambda to be large and for many pairs in the interval (lambda,2^lambda) a stronger version of the polarized partition relations hold. We apply this to problems in general topology. E.g. consistently, every 2^lambda is successor of singular and for every Hausdorff regular space X, hd(X) <= s(X)^{+3}, hL(X) <= s(X)^{+3} and better for s(X) regular, via a half-graph partition relation. For the case s(X)=aleph_0 we get hd(X), hL(X) <=aleph_2.

Review text

Using an Easton support iteration, the author obtains a model in which \(2^\mu\) is always the successor of a limit cardinal \(>\mu\), except when \(\mu\) is a strong limit singular cardinal in which case \(2^\mu=\mu^+\), and in which strong enough partition relations imply that for every Hausdorff regular space \(X\), the hereditary density and the hereditary Lindelöf numbers of \(X\) are bounded by \(s(X)^{+3}\), where \(s(X)\) denotes the spread of \(X\), and for every Hausdorff space \(X\), \(|X|\leq 2^{(\mathrm {hd}(X))^+}\) and \(w(X)\leq 2^{(\mathrm{hL}(X))^+}\). The result answers in the negative the following question raised in [\textit{I. Juhász} and \textit{S. Shelah}, Stud. Sci. Math. Hung. 45, No. 4, 557--562 (2008; Zbl 1199.54031)]: Assuming \(\aleph_1<\lambda\leq 2^{\aleph_0}\), is there (i.e. provably in ZFC) a hereditarily Lindelöf regular space of density \(\lambda\)?

Recommendations

• Forcing Positive Partition Relations
• Forcing many positive polarized partition relations between a cardinal and its powerset
• Partition relations for cardinal numbers
• Polarized partition relations
• Strong negative partition relations below the continuum

Cites work

• A proof (involving Martin's axiom) of a partition relation
• Canonization theorems and applications
• Cardinal invariants above the continuum
• Combinatorial set theory: Partition relations for cardinals
• Embedding theorems for graphs establishing negative partition relations
• Forcing many positive polarized partition relations between a cardinal and its powerset
• scientific article; zbMATH DE number 426365 (Why is no real title available?)
• scientific article; zbMATH DE number 3753642 (Why is no real title available?)
• Was Sierpinski right? I
• Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.?
• Was Sierpiński right? IV

Cited in

(2)

• How large can a hereditarily separable or hereditarily Lindelöf space be?
• Hereditarily Lindelöf spaces of singular density

This page was built for publication: Many partition relations below density

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