OAI/Computability/DegreeRigidity/CohenForcing/CohenGroundProgram.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.InternalCohen.groundGeneric_iterate_program line 14
  2. theorem OAI.TuringRigidity.InternalCohen.groundGeneric_table_simulation line 23
  3. theorem OAI.TuringRigidity.InternalCohen.selected_column_table_simulation line 37