OAI/Computability/DegreeRigidity/Effective/PrefixComputability.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.PrefixComputability.total_comp line 11
  2. theorem OAI.TuringRigidity.PrefixComputability.total_pair line 17
  3. theorem OAI.TuringRigidity.PrefixComputability.total_primrec line 23
  4. def OAI.TuringRigidity.PrefixComputability.oraclePrefix line 27
  5. def OAI.TuringRigidity.PrefixComputability.appendEncoded line 29
  6. theorem OAI.TuringRigidity.PrefixComputability.appendEncoded_primrec line 31
  7. theorem OAI.TuringRigidity.PrefixComputability.prefix_recursive line 36
  8. def OAI.TuringRigidity.PrefixComputability.flag line 61
  9. def OAI.TuringRigidity.PrefixComputability.answer line 63
  10. theorem OAI.TuringRigidity.PrefixComputability.flag_primrec line 65
  11. theorem OAI.TuringRigidity.PrefixComputability.answer_primrec line 71
  12. theorem OAI.TuringRigidity.PrefixComputability.total_search line 74