OAI/Computability/DegreeRigidity/Effective/CodingColumns.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.CodingColumns.column line 10
  2. theorem OAI.TuringRigidity.CodingColumns.column_pair line 13
  3. theorem OAI.TuringRigidity.CodingColumns.column_infinite line 17
  4. def OAI.TuringRigidity.CodingColumns.columnStep line 27
  5. theorem OAI.TuringRigidity.CodingColumns.columnStep_primrec line 31
  6. theorem OAI.TuringRigidity.CodingColumns.column_reduces line 36
  7. def OAI.TuringRigidity.CodingColumns.location line 49
  8. theorem OAI.TuringRigidity.CodingColumns.location_mem line 52
  9. theorem OAI.TuringRigidity.CodingColumns.le_location line 55
  10. theorem OAI.TuringRigidity.CodingColumns.location_recursive line 58
  11. def OAI.TuringRigidity.CodingColumns.readColumn line 66
  12. theorem OAI.TuringRigidity.CodingColumns.readColumn_reduces line 69