OAI/Computability/DegreeRigidity/SetModels/ElementaryAxioms.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.ElementaryModel.Valid.pairing line 10
  2. theorem OAI.TuringRigidity.ElementaryModel.Valid.union line 20
  3. theorem OAI.TuringRigidity.ElementaryModel.Valid.powerSet line 30
  4. theorem OAI.TuringRigidity.ElementaryModel.Valid.empty line 40
  5. theorem OAI.TuringRigidity.ElementaryModel.Valid.infinity line 50
  6. theorem OAI.TuringRigidity.ElementaryModel.ambient_choice_graph line 64
  7. theorem OAI.TuringRigidity.ElementaryModel.Valid.choice line 83