A logical analysis of the notion of consistency in set theoretical practice
Axiomatic foundations of class forcing and symmetric extensions.
Arbitrariness and genericity: or on how to speak of the unspeakable
Ioannis Kourakis | Queen's University Belfast - Irlanda do Norte
Beyond transitivity for linear operators on infinite dimension