| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118833 | Annals of Pure and Applied Logic | 2005 | 20 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Neil Thapen,