Publ. Math. Univ. Pierre Marie Curie 66, Sémin. Initiation Anal. 23ème Année-1983/84, Exp. No.5, 13 p. (1984).
In this note I collect results of F. Rothberger, A. W. Miller, T. Bartoszyński, J. Raisonnier and J. Stern on the relationships between ten cardinal numbers lying between and the continuum. If is an ideal of sets such that , write add( , ; non( , ; cov( , ; cf( , is cofinal with . Write for the ideal of Lebesgue negligible subsets of , for the ideal of meagre subsets of , for the -ideal of subsets of generated by the compact sets. We find that non( and that cov(; call these cardinals and respectively. All what is known about the cardinals associated with , and is captured by a diagram, developed by J. Cichoń, A. Kamburelis and J. Pawlikowski [Proc. Am. Math. Soc. 94, 142-146 (1985)]. In detail, the following is known: , but cov( and cov( are both relatively consistent with ZFC. Further: add(, cf(. I give full proofs of the results establishing the mentioned diagram and references to some of the relevant consistency results.
|03E05||Combinatorial set theory (logic)|
|03E10||Ordinal and cardinal arithmetic|
|28A05||Classes of sets|
|03E35||Consistency; independence results (set theory)|