show/hide this revision's text 2 added 184 characters in body

Does a compact semilocally simply connected geodesic space have the homotopy type of a compact CW complex? Actually what I'd like to know is whether the fundamental group of such a space is finitely presented.

Edit: As Bruno Martelli notes, this is obviously false, but the question of whether the fundamental group is finitely presented, which is what I really want to know, is still open.

show/hide this revision's text 1

Does a compact semilocally simply connected geodesic space have the homotopy type of a CW complex?

Does a compact semilocally simply connected geodesic space have the homotopy type of a compact CW complex? Actually what I'd like to know is whether the fundamental group of such a space is finitely presented.