1. Infinitary Jónsson algebras
Once again, assume choice throughout. Last lecture, we showed that for any The results below strengthen this fact in several ways.
Actually, for a cardinal, the examples to follow usually satisfy the stronger requirement that In the notation from Definition 16 from last lecture,
The following result was originally proved in 1966 with a significantly more elaborate argument. The proof below, from 1976, is due to Galvin and Prikry.