@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/