Illumimax

Results 1 comments of Illumimax

Examples from logic: -The axiom of determinacy contradicting the axiom of choice (but likely consistent with the axiom of dependent choice) -Martins axiom ++ implies Woodins axiom (*) making a...