Displaying similar documents to “AC holds iff every compact completely regular topology can be extended to a compact Tychonoff topology”