OAI/Computability/DegreeRigidity/SetModels/ModelDegreeOrder.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BoundedSetTheory.degreeCodeLE line 10
2. theorem OAI.TuringRigidity.BoundedSetTheory.degreeCodeLE_actual line 13
3. def OAI.TuringRigidity.BoundedSetTheory.degreeOrder line 26
4. theorem OAI.TuringRigidity.BoundedSetTheory.mem_degreeOrder line 30
5. theorem OAI.TuringRigidity.BoundedSetTheory.degreeOrder_actual line 41
6. def OAI.TuringRigidity.BoundedSetTheory.DegreeOrderFormula line 48
7. theorem OAI.TuringRigidity.BoundedSetTheory.degree_order_bounded line 53
8. def OAI.TuringRigidity.BoundedSetTheory.Formula.degreeLE line 61
9. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.degreeLE_spec line 64
10. def OAI.TuringRigidity.BoundedSetTheory.Formula.degreeOrderMember line 81
11. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.degreeOrderMember_spec line 85
12. theorem OAI.TuringRigidity.BoundedSetTheory.internal_degreeOrder line 107