OAI/Computability/DegreeRigidity/SetModels/RecursiveNames.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.TuringRigidity.RecursiveNames.Name line 11
  2. def OAI.TuringRigidity.RecursiveNames.Name.val line 15
  3. theorem OAI.TuringRigidity.RecursiveNames.Name.mem_val line 18
  4. def OAI.TuringRigidity.RecursiveNames.Name.rename line 24
  5. theorem OAI.TuringRigidity.RecursiveNames.Name.val_rename line 27
  6. def OAI.TuringRigidity.RecursiveNames.Name.checkPSet line 36
  7. def OAI.TuringRigidity.RecursiveNames.Name.check line 39
  8. theorem OAI.TuringRigidity.RecursiveNames.Name.val_checkPSet line 41
  9. theorem OAI.TuringRigidity.RecursiveNames.Name.val_check line 58
  10. theorem OAI.TuringRigidity.RecursiveNames.Name.rename_checkPSet line 62
  11. theorem OAI.TuringRigidity.RecursiveNames.Name.rename_check line 69