OAI/Computability/DegreeRigidity/Effective/UniformOracle.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.UniformOracle.total_comp line 11
  2. theorem OAI.TuringRigidity.UniformOracle.total_pair line 17
  3. theorem OAI.TuringRigidity.UniformOracle.total_primrec line 23
  4. def OAI.TuringRigidity.UniformOracle.oraclePrefix line 27
  5. def OAI.TuringRigidity.UniformOracle.appendEncoded line 29
  6. theorem OAI.TuringRigidity.UniformOracle.appendEncoded_primrec line 31
  7. theorem OAI.TuringRigidity.UniformOracle.prefix_recursive line 36
  8. theorem OAI.TuringRigidity.UniformOracle.prefix_approximates line 61
  9. def OAI.TuringRigidity.UniformOracle.flag line 85
  10. def OAI.TuringRigidity.UniformOracle.answer line 87
  11. theorem OAI.TuringRigidity.UniformOracle.flag_primrec line 89
  12. theorem OAI.TuringRigidity.UniformOracle.answer_primrec line 95
  13. theorem OAI.TuringRigidity.UniformOracle.total_search line 98
  14. def OAI.TuringRigidity.UniformOracle.trial line 139
  15. theorem OAI.TuringRigidity.UniformOracle.trial_recursive line 142
  16. theorem OAI.TuringRigidity.UniformOracle.compute_of_finite line 158
  17. theorem OAI.TuringRigidity.UniformOracle.stage_recursive line 171