One of the main reasons to include pay-as-you-go (PAYG) schemes in multi-pillared pension systems is that they may entail beneficial risk-sharing and diversification features. However, depending on the "pension formula" these features vary significantly for different types of PAYG schemes. We...