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.