OAI/Computability/DegreeRigidity/CohenForcing/InternalCohenRestriction.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.InternalCohenRestriction.restrict line 9
  2. theorem OAI.TuringRigidity.InternalCohenRestriction.mem_restrict line 12
  3. theorem OAI.TuringRigidity.InternalCohenRestriction.pair_restrict line 16
  4. theorem OAI.TuringRigidity.InternalCohenRestriction.restrict_mem line 20
  5. theorem OAI.TuringRigidity.InternalCohenRestriction.restrict_condition line 29
  6. theorem OAI.TuringRigidity.InternalCohenRestriction.restrict_mono line 40
  7. theorem OAI.TuringRigidity.InternalCohenRestriction.restrict_eq_self line 45
  8. def OAI.TuringRigidity.InternalCohenRestriction.restrictionFormula line 51
  9. theorem OAI.TuringRigidity.InternalCohenRestriction.restrictionFormula_spec line 55
  10. def OAI.TuringRigidity.InternalCohenRestriction.restrictionGraph line 69
  11. theorem OAI.TuringRigidity.InternalCohenRestriction.pair_restrictionGraph line 73
  12. theorem OAI.TuringRigidity.InternalCohenRestriction.restrictionGraph_mem line 84
  13. theorem OAI.TuringRigidity.InternalCohenRestriction.restrictionGraph_function line 100