OAI/Computability/DegreeRigidity/CohenForcing/CohenWordCodeGraph.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.InternalCohen.wordBit line 12
  2. theorem OAI.TuringRigidity.InternalCohen.wordBit_primrec line 15
  3. def OAI.TuringRigidity.InternalCohen.wordGraphFormula line 20
  4. def OAI.TuringRigidity.InternalCohen.wordGraphEnv line 27
  5. theorem OAI.TuringRigidity.InternalCohen.wordGraphFormula_spec line 31
  6. def OAI.TuringRigidity.InternalCohen.wordCodeGraph line 73
  7. theorem OAI.TuringRigidity.InternalCohen.mem_wordCodeGraph line 76
  8. theorem OAI.TuringRigidity.InternalCohen.pair_mem_wordCodeGraph line 80
  9. theorem OAI.TuringRigidity.InternalCohen.wordCodeGraph_function line 91
  10. theorem OAI.TuringRigidity.InternalCohen.wordCodeGraph_mem line 103
  11. theorem OAI.TuringRigidity.InternalCohen.canonical_wordCodeGraph line 153