Set theory without choice: not everything on cofinality is possible - Saharon Shelah (1995)