Methods in Higher Forcing Axioms (Workshop Notes)

TL;DR

This paper summarizes a workshop focused on methods related to higher forcing axioms, aiming to foster collaboration and advance research in this specialized area of set theory.

Contribution

It provides an organized overview of discussions and research directions on higher forcing axioms from a dedicated workshop, highlighting future collaboration opportunities.

Findings

Identified key open problems in higher forcing axioms

Outlined new research approaches discussed during the workshop

Summarized collaborative efforts and future research directions

Abstract

Methods of Higher Forcing Axioms was a small workshop in Norwich, taking place between 10--12 of September, 2019. The goal was to encourage future collaborations, and create more focused threads of research on the topic of higher forcing axioms. This is an improved version of the notes taken during the meeting by Asaf Karagila.