OAI/Computability/DegreeRigidity/SetModels/ElementarySchemas.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.ElementaryModel.sepMap line 10
  2. def OAI.TuringRigidity.ElementaryModel.relationMap line 11
  3. def OAI.TuringRigidity.ElementaryModel.uniqueMap line 12
  4. def OAI.TuringRigidity.ElementaryModel.imageMap line 13
  5. theorem OAI.TuringRigidity.ElementaryModel.sat_sepMap line 15
  6. theorem OAI.TuringRigidity.ElementaryModel.sat_relationMap line 23
  7. theorem OAI.TuringRigidity.ElementaryModel.sat_uniqueMap line 31
  8. theorem OAI.TuringRigidity.ElementaryModel.sat_imageMap line 39
  9. theorem OAI.TuringRigidity.ElementaryModel.Valid.separate line 47
  10. theorem OAI.TuringRigidity.ElementaryModel.ambient_image line 61
  11. theorem OAI.TuringRigidity.ElementaryModel.Valid.replace line 76
  12. theorem OAI.TuringRigidity.ElementaryModel.Valid.sigmaSeparation line 102
  13. theorem OAI.TuringRigidity.ElementaryModel.Valid.sigmaReplacement line 107
  14. theorem OAI.TuringRigidity.ElementaryModel.Valid.sourceT line 119