This volume has its origins in the Research Programme on Set Theory and its Applications that took place at the …