On Brown's Problem, Poincare models for the classifying spaces for proper actions and Nielsen Realization | Synapse