OAI/Computability/DegreeRigidity/SetModels/ElementaryCheckedCode.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.ElementaryModel.ambient_transitive_container line 11
  2. theorem OAI.TuringRigidity.ElementaryModel.ambient_checkGraph line 28
  3. def OAI.TuringRigidity.ElementaryModel.checkedValueFormula line 41
  4. theorem OAI.TuringRigidity.ElementaryModel.checkedValue_univ line 45
  5. theorem OAI.TuringRigidity.ElementaryModel.checkedValue_sound line 59
  6. theorem OAI.TuringRigidity.ElementaryModel.checkedCode_mem_hull line 73
  7. theorem OAI.TuringRigidity.ElementaryModel.collapse_checkedCode line 79
  8. theorem OAI.TuringRigidity.ElementaryModel.collapse_encoded_check line 94