On the contingent contingency of V = HOD and independence over the maximality principles, Fudan University, Shanghai, July 2026

This will be a talk for the Fudan University logic group on 16 July 10:00am in Shanghai. Abstract: The axiom V = HOD is contingently contingent—more precisely, it is class-forcing contingent that V = HOD is contingent with respect to set … Continue reading →