OAI/Computability/DegreeRigidity/CohenForcing/CohenLowness.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.CohenLowness.recursive_comp_total line 9
2. theorem OAI.TuringRigidity.CohenLowness.prefix_recursive line 16
3. def OAI.TuringRigidity.CohenLowness.Extension line 36
4. theorem OAI.TuringRigidity.CohenLowness.extension_sigma line 39
5. def OAI.TuringRigidity.CohenLowness.Deciding line 47
6. theorem OAI.TuringRigidity.CohenLowness.deciding_recursive line 52
7. theorem OAI.TuringRigidity.CohenLowness.deciding_total line 63
8. theorem OAI.TuringRigidity.CohenLowness.deciding_correct line 77
9. theorem OAI.TuringRigidity.CohenLowness.oneGeneric_low line 94
10. theorem OAI.TuringRigidity.CohenLowness.relative_low_generic line 115