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...