Committee members: Matthew Foreman, Penelope Maddy, Martin Zeman (chair)

Abstract: Jensen's square principle is an important combinatorial object.
The failure of this principle is independent of ZFC and at singular
cardinals this has high consistency strength. We outline two results in
which we greatly lower the known consistency strengths using Prikry-type
forcings.