TY  - RPRT
TI  - A lemma on a total function defined over the Baker-Gill-Solovay set of polynomial Turing machines
AU  - N. C. A. da Costa
AU  - F. A. Doria
PY  - 2001
UR  - https://arxiv.org/abs/math/0106096
ID  - math/0106096
ER  -