On the relative strength of forms of compactness of metric spaces and their countable productivity in ZF

We show in ZF that:(i) tably compact metric space need not be limit point compact or totally bounded and, a limit point compact metric space need not be totally bounded. lete, totally bounded metric space need not be limit point compact or Cantor complete. or complete, totally bounded metric space need not be limit point compact. nd countable, limit point compact metric space need not be totally bounded or Cantor complete. entially compact, selective metric space (the family of all non-empty open subsets of the space has a choice function) is compact. table product of sequentially compact (resp. compete and totally bounded) metric spaces is sequentially compact (resp. compete and totally bounded).