0
$\begingroup$

Good evening.

Let $\lambda>\omega$ a cardinal. We know that there is a bijection $\pi$ between $\lambda^+$ and $\lambda\times\lambda^+$. I don't understand in Remark 1 of the paper Shelah's proof of diamond of Komjath the words : "a club set of $\delta<\lambda^+$ (do we take a $C\subset\delta$ club in $\delta$ ? or ... ?)" $\pi$ is a bijection from $\delta$ onto $\lambda\times\delta$ " (why ?) Thanks a lot.

  • 2
    Please add a citation of the paper you read, and link if possible!2012-04-27

1 Answers 1

3

The paper is here. The actual remark is:

If $\pi$ is a bijection from $\lambda^+$ onto $\lambda\times\lambda^+$ then for a club set of $\delta<\lambda^+$ (the restriction of) $\pi$ is a bijection from $\delta$ onto $\lambda\times\delta$.

It means that $D\triangleq\{\delta<\lambda^+:\pi\upharpoonright\delta\text{ is a bijection onto }\lambda\times\delta\}$ is a club set in $\lambda^+$. Verification that $D$ is closed is straightforward, and verification that $D$ is unbounded is almost as easy: just use the usual closing-off construction.