OAI/Computability/DegreeRigidity/SetModels/SetModelFunctionGraphs.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.TuringRigidity.SetModelFunctions.Context line 11
  2. theorem OAI.TuringRigidity.SetModelFunctions.Context.omega_mem line 22
  3. theorem OAI.TuringRigidity.SetModelFunctions.Context.nat_mem line 25
  4. theorem OAI.TuringRigidity.SetModelFunctions.Context.prod_mem line 28
  5. abbrev OAI.TuringRigidity.SetModelFunctions.GraphCode line 32
  6. def OAI.TuringRigidity.SetModelFunctions.HasGraph line 35
  7. theorem OAI.TuringRigidity.SetModelFunctions.graph_of_formula line 38
  8. theorem OAI.TuringRigidity.SetModelFunctions.graph_of_relation line 47
  9. theorem OAI.TuringRigidity.SetModelFunctions.const_graph line 84
  10. theorem OAI.TuringRigidity.SetModelFunctions.id_graph line 89
  11. theorem OAI.TuringRigidity.SetModelFunctions.succ_graph line 94
  12. theorem OAI.TuringRigidity.SetModelFunctions.HasGraph.comp line 102