SALT 31 (2021): "(Non-)factive islands from (non-)necessary triviality"

Materials for poster given (online) at SALT 31 (2021): https://saltconf.github.io/salt31/. Joint work with Maribel Romero.材料用于在2021年SALT 31（在线）会议上展示：https://saltconf.github.io/salt31/。本成果为与Maribel Romero的联合研究成果。