I gave an online contributed talk at the RIMS workshop on Set Theory 2025 in Kyoto, December 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:
