@article{1164060447, author = {Thompson, Alex}, title = {A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group}, journal = {J. Symbolic Logic}, volume = {71}, number = {1}, year = {2006}, pages = { 1108-1124}, language = {en}, url = {http://dml.mathdoc.fr/item/1164060447} }
Thompson, Alex. A metamathematical condition equivalent to the existence of a complete left invariant metric for a Polish group. J. Symbolic Logic, Tome 71 (2006) no. 1, pp. 1108-1124. http://gdmltest.u-ga.fr/item/1164060447/