OAI/Computability/DegreeRigidity/Effective/EffectiveFamilies.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.EffectiveFamilies.reindex_reduces line 10
  2. def OAI.TuringRigidity.EffectiveFamilies.slice line 16
  3. theorem OAI.TuringRigidity.EffectiveFamilies.slice_column line 19
  4. theorem OAI.TuringRigidity.EffectiveFamilies.slice_reduces line 24
  5. def OAI.TuringRigidity.EffectiveFamilies.mix line 29
  6. theorem OAI.TuringRigidity.EffectiveFamilies.mix_column line 32
  7. theorem OAI.TuringRigidity.EffectiveFamilies.mix_reduces line 37
  8. def OAI.TuringRigidity.EffectiveFamilies.tuples line 51
  9. theorem OAI.TuringRigidity.EffectiveFamilies.tuples_reduces line 55
  10. theorem OAI.TuringRigidity.EffectiveFamilies.tuples_degree line 61
  11. theorem OAI.TuringRigidity.EffectiveFamilies.antichainCode_below line 71