On some applications of strongly compact Prikry forcing

We work with symmetric inner models of forcing extensions based on strongly compact Prikry forcing to extend some known results.