OAI/Computability/DegreeRigidity/Representation/Assembly.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BorelRepresentation line 10
2. structure OAI.TuringRigidity.CutArithmetic line 14
3. def OAI.TuringRigidity.IrrationalDegreeCoverage line 20
4. def OAI.TuringRigidity.CategoryAvoidance line 23
5. def OAI.TuringRigidity.fourTuple line 26
6. def OAI.TuringRigidity.FourValueRecovery line 30
7. theorem OAI.TuringRigidity.lift_of_representation line 37
8. theorem OAI.TuringRigidity.fourTuple_bound line 52
9. theorem OAI.TuringRigidity.inverse_le_realDegree_of_obligations line 79
10. theorem OAI.TuringRigidity.main_of_obligations line 110