OAI/Computability/DegreeRigidity/Effective/UniformOracleSimulation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.UniformPrograms.Runs.reindex line 10
  2. theorem OAI.TuringRigidity.UniformPrograms.Runs.simulate line 15
  3. theorem OAI.TuringRigidity.UniformPrograms.Runs.trans line 28
  4. theorem OAI.TuringRigidity.UniformPrograms.fixed_recursive line 32
  5. theorem OAI.TuringRigidity.UniformPrograms.join_left_program line 37
  6. theorem OAI.TuringRigidity.UniformPrograms.join_right_program line 46