On some ${\Sigma }_0^B$-formulae generalizing counting principles over $V^0$

Eitetsu Ken

We formalize various counting principles and compare their strengths over $V^0$. In particular, we conjecture the following mutual independence between: (1) a uniform version of…