OAI/Computability/DegreeRigidity/Effective/UniformProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.TuringRigidity.UniformProgram.Code line 7
  2. def OAI.TuringRigidity.UniformProgram.meaning line 10
  3. def OAI.TuringRigidity.UniformProgram.represent line 20
  4. theorem OAI.TuringRigidity.UniformProgram.represent_correct line 31
  5. def OAI.TuringRigidity.UniformProgram.tag line 47
  6. def OAI.TuringRigidity.UniformProgram.first line 51
  7. def OAI.TuringRigidity.UniformProgram.second line 55
  8. theorem OAI.TuringRigidity.UniformProgram.tag_primrec line 59
  9. theorem OAI.TuringRigidity.UniformProgram.first_primrec line 68
  10. theorem OAI.TuringRigidity.UniformProgram.second_primrec line 78
  11. def OAI.TuringRigidity.UniformProgram.layer line 90
  12. theorem OAI.TuringRigidity.UniformProgram.layer_partrec line 109
  13. theorem OAI.TuringRigidity.UniformProgram.eval_partrec line 172