OAI/Computability/DegreeRigidity/Effective/UniformJumpSimulation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.UniformPrograms.run_program line 12
  2. def OAI.TuringRigidity.UniformPrograms.haltFlag line 34
  3. theorem OAI.TuringRigidity.UniformPrograms.haltFlag_primrec line 37
  4. def OAI.TuringRigidity.UniformPrograms.haltingSearch line 46
  5. theorem OAI.TuringRigidity.UniformPrograms.haltingSearch_program line 49
  6. theorem OAI.TuringRigidity.UniformPrograms.haltingSearch_dom line 64
  7. theorem OAI.TuringRigidity.UniformPrograms.uniform_partial_table line 69
  8. theorem OAI.TuringRigidity.UniformPrograms.Runs.jump line 91
  9. theorem OAI.TuringRigidity.UniformPrograms.Runs.iterate_jump line 108