Horst Herrlich, Kyriakos Keremedis
AC holds iff every compact completely regular topology can be extended to a compact Tychonoff topology

Comment.Math.Univ.Carolin. 52,1 (2011) 139-143.

Abstract:We show that AC is equivalent to the assertion that every compact completely regular topology can be extended to a compact Tychonoff topology.

Keywords: axiom of choice, compactness
AMS Subject Classification: 03E25 54A10 54C45 54G20

PDF