OAI/Computability/DegreeRigidity/CohenForcing/CohenGroundPoset.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.CohenGroundPoset.singleValuedFormula line 12
  2. theorem OAI.TuringRigidity.CohenGroundPoset.singleValuedFormula_spec line 16
  3. def OAI.TuringRigidity.CohenGroundPoset.conditions line 21
  4. theorem OAI.TuringRigidity.CohenGroundPoset.mem_conditions line 24
  5. theorem OAI.TuringRigidity.CohenGroundPoset.conditions_mem line 27
  6. def OAI.TuringRigidity.CohenGroundPoset.encode line 43
  7. theorem OAI.TuringRigidity.CohenGroundPoset.label_encode line 46
  8. def OAI.TuringRigidity.CohenGroundPoset.conditionEquiv line 49
  9. theorem OAI.TuringRigidity.CohenGroundPoset.poset_internal line 62
  10. theorem OAI.TuringRigidity.CohenGroundPoset.graph_mem_model line 68
  11. theorem OAI.TuringRigidity.CohenGroundPoset.antichain_countable line 72
  12. def OAI.TuringRigidity.CohenGroundPoset.coordinateEquiv line 83
  13. def OAI.TuringRigidity.CohenGroundPoset.manyColumnEquiv line 99
  14. theorem OAI.TuringRigidity.CohenGroundPoset.manyColumn_internal line 103