OAI/Computability/DegreeRigidity/Effective/FiniteInjury.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.FiniteInjury.accept line 8
  2. def OAI.TuringRigidity.FiniteInjury.update line 11
  3. def OAI.TuringRigidity.FiniteInjury.state line 16
  4. def OAI.TuringRigidity.FiniteInjury.action line 20
  5. theorem OAI.TuringRigidity.FiniteInjury.state_succ line 23
  6. theorem OAI.TuringRigidity.FiniteInjury.action_not_done line 26
  7. theorem OAI.TuringRigidity.FiniteInjury.done_after_action line 39
  8. theorem OAI.TuringRigidity.FiniteInjury.done_persists line 43
  9. theorem OAI.TuringRigidity.FiniteInjury.done_persists_from line 58
  10. theorem OAI.TuringRigidity.FiniteInjury.finite_injury line 67
  11. def OAI.TuringRigidity.FiniteInjury.atLevel line 92
  12. theorem OAI.TuringRigidity.FiniteInjury.level_mono line 95
  13. theorem OAI.TuringRigidity.FiniteInjury.eventual_level_chain line 102