Structures interpretable in models of bounded arithmetic

We go on to consider structures defined by oracles, and use the probabilistic witnessing theorem for S21+(dualWPHP(PV)) to give a general criterion for what can be proved about these using the weak pigeonhole principle. We also show that the injective WPHP is not provable in this theory in the relativized case.