Computing in Non Standard Set Theories