OAI/Computability/DegreeRigidity/Effective/UniformPrograms.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.UniformPrograms.Runs line 8
  2. theorem OAI.TuringRigidity.UniformPrograms.oracle_free line 13
  3. theorem OAI.TuringRigidity.UniformPrograms.primrec line 34
  4. theorem OAI.TuringRigidity.UniformPrograms.query line 38
  5. theorem OAI.TuringRigidity.UniformPrograms.Runs.of_eq line 40
  6. theorem OAI.TuringRigidity.UniformPrograms.Runs.pair line 44
  7. theorem OAI.TuringRigidity.UniformPrograms.Runs.comp line 49
  8. theorem OAI.TuringRigidity.UniformPrograms.Runs.prec line 54
  9. theorem OAI.TuringRigidity.UniformPrograms.Runs.find line 60
  10. theorem OAI.TuringRigidity.UniformPrograms.total_comp line 65
  11. theorem OAI.TuringRigidity.UniformPrograms.total_pair line 71
  12. theorem OAI.TuringRigidity.UniformPrograms.initial_program line 77
  13. def OAI.TuringRigidity.UniformPrograms.flag line 101
  14. def OAI.TuringRigidity.UniformPrograms.answer line 103
  15. theorem OAI.TuringRigidity.UniformPrograms.flag_primrec line 105
  16. theorem OAI.TuringRigidity.UniformPrograms.answer_primrec line 111
  17. theorem OAI.TuringRigidity.UniformPrograms.total_search line 114