OAI/Computability/DegreeRigidity/SetModels/ContinuousCode.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.ContinuousCode.table_agreement line 9
  2. def OAI.TuringRigidity.ContinuousCode.LocalAnswer line 16
  3. def OAI.TuringRigidity.ContinuousCode.parameter line 19
  4. def OAI.TuringRigidity.ContinuousCode.queryIndex line 25
  5. def OAI.TuringRigidity.ContinuousCode.trial line 28
  6. theorem OAI.TuringRigidity.ContinuousCode.trial_sound line 31
  7. def OAI.TuringRigidity.ContinuousCode.choiceValue line 44
  8. theorem OAI.TuringRigidity.ContinuousCode.choiceValue_primrec line 45
  9. theorem OAI.TuringRigidity.ContinuousCode.trial_program line 49
  10. theorem OAI.TuringRigidity.ContinuousCode.local_answer_exists line 74
  11. theorem OAI.TuringRigidity.ContinuousCode.trial_complete line 90
  12. theorem OAI.TuringRigidity.ContinuousCode.continuous_uniform_program line 100