We show that the property of sequential compactness for subspaces of R is countably productive in ZF. Also, in the language of weak choice principles, we give a list of characterizations of the topological statement ‘sequentially compact subspaces of R are compact’. Furthermore, we show that forms 152 (= every non-well-orderable set is the union of a pairwise disjoint well-orderable family of d...
