Hilbert's 5 th Problem

Assuming a modest amount of background we give full proofs of the results by Gleason, Montgomery-Zippin, and Yamabe that characterize Lie groups and generalized Lie groups among topological groups. Our treatment involves nonstandard reasoning, and we expose this method in an appendix.