OAI/Computability/DegreeRigidity/OrdinalCodes/NumericalIdeal.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.TuringRigidity.NumericalIdeal.JumpCode line 10
2. def OAI.TuringRigidity.NumericalIdeal.decode line 16
3. theorem OAI.TuringRigidity.NumericalIdeal.decoded_presentation line 33
4. theorem OAI.TuringRigidity.NumericalIdeal.decoded_closed line 36
5. theorem OAI.TuringRigidity.NumericalIdeal.code_of_ideal line 42
6. def OAI.TuringRigidity.NumericalIdeal.Includes line 55
7. theorem OAI.TuringRigidity.NumericalIdeal.includes_iff line 57