I gave an invited talk at the 18th International Workshop on Set Theory in Luminy in Marseille, November 2025.
Talk Title: What is a higher forcing axiom?
Abstract: There are multiple interpretations of what is a forcing axiom. We shall
survey these interpretations and then address their respective higher analogs.
This is joint work with Tanmay Inamdar.
Downloads:
