Club guessing for dummies

Abstract

We give a direct, detailed and relatively short proof of Shelah's theorem on club guessing sequences on $S^{\mu^+}_\mu$ (for any regular, uncountable cardinal $\mu$).