A countably compact topological group with the non-countably pracompact square
arXiv:2003.03142
Abstract
Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.
7 pages. Comments are welcome!