M. Bestvina in 1984
characterized the Menger universal n-dimensional spaces. This characterization is
used to identify certain inverse sequences having inverse limit homeomorphic to one
of the Menger spaces. Specific models of the Menger spaces are then constructed in
the Hilbert Cube as inverse limits of polyhedra. The union of these models
is shown to be homeomorphic to the countably infinite dimensional space
σ.