Frederick Rowbottom

• Some strong axioms of infinity incompatible with the axiom of constructability