@misc{indiciae2878ef39f619, title = {Products of effective topological spaces and a uniformly computable Tychonoff Theorem}, author = {Robert Rettinger and Klaus Weihrauch}, year = {2013}, doi = {10.2168/lmcs-9(4:14)2013}, url = {https://arxiv.org/abs/1310.5572}, note = {Source identifier: 1310.5572} }