Countless Batman symbols have been introduced over the years, either to strike fear in the hearts of criminals or to ...

We show that there is a β-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a Π21-assertion, confirming a conjecture of Stephen Simpson. W ...