On some applications of strongly compact Prikry forcing

TL;DR

This paper explores the use of strongly compact Prikry forcing to construct symmetric inner models, extending existing results in set theory related to forcing and large cardinals.

Contribution

It introduces new applications of strongly compact Prikry forcing to symmetric inner models, expanding the scope of known results in set-theoretic forcing.

Findings

Extended known results on symmetric inner models

Demonstrated new applications of strongly compact Prikry forcing

Provided insights into the structure of forcing extensions

Abstract

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