Analysis of models of superfluidity