OAI/Computability/DegreeRigidity/Effective/EffectiveSplit.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.EffectiveSplit.SplitCert line 10
  2. theorem OAI.TuringRigidity.EffectiveSplit.splitCert_sigma line 17
  3. def OAI.TuringRigidity.EffectiveSplit.PointCert line 32
  4. theorem OAI.TuringRigidity.EffectiveSplit.pointCert_sigma line 40
  5. def OAI.TuringRigidity.EffectiveSplit.ConvergesAbove line 61
  6. theorem OAI.TuringRigidity.EffectiveSplit.convergesAbove_sigma line 64
  7. def OAI.TuringRigidity.EffectiveSplit.DivCert line 73
  8. theorem OAI.TuringRigidity.EffectiveSplit.divCert_recursive line 77
  9. def OAI.TuringRigidity.EffectiveSplit.Accept line 84
  10. theorem OAI.TuringRigidity.EffectiveSplit.accept_recursive line 92
  11. theorem OAI.TuringRigidity.EffectiveSplit.accept_total line 105
  12. def OAI.TuringRigidity.EffectiveSplit.step line 127
  13. theorem OAI.TuringRigidity.EffectiveSplit.step_recursive line 130
  14. theorem OAI.TuringRigidity.EffectiveSplit.step_spec line 134