OAI/Computability/DegreeRigidity/Effective/UniformRun.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.UniformRun.run line 10
  2. def OAI.TuringRigidity.UniformRun.finiteRun line 13
  3. theorem OAI.TuringRigidity.UniformRun.eval_partialJoin_partrec line 17
  4. theorem OAI.TuringRigidity.UniformRun.finiteRun_partrec line 31
  5. theorem OAI.TuringRigidity.UniformRun.finiteRun_approximates line 39
  6. theorem OAI.TuringRigidity.UniformRun.run_represents line 48
  7. theorem OAI.TuringRigidity.UniformRun.run_total_base line 54
  8. theorem OAI.TuringRigidity.UniformRun.run_mono line 60
  9. theorem OAI.TuringRigidity.UniformRun.run_table line 70
  10. def OAI.TuringRigidity.UniformRun.Graph line 91
  11. theorem OAI.TuringRigidity.UniformRun.graph_sigma line 94
  12. theorem OAI.TuringRigidity.UniformRun.graph_sigma_of line 118
  13. theorem OAI.TuringRigidity.UniformRun.pair_coverage line 126