After some thought, I believe I understand everything except the proof of theorem 1, which seems unclear.
The existence proof for the oracles doesn’t seem to be rigorous, which is probably the first thing to take care of before further consideration, but I do expect it to go through.
Also, it would be nice to have some upper bound on the power of the class...
After some thought, I believe I understand everything except the proof of theorem 1, which seems unclear.
The existence proof for the oracles doesn’t seem to be rigorous, which is probably the first thing to take care of before further consideration, but I do expect it to go through.
Also, it would be nice to have some upper bound on the power of the class...