OAI/Computability/DegreeRigidity/Representation/CommonIdealSearch.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.CommonIdeal.bit_primrec line 8
2. theorem OAI.TuringRigidity.CommonIdeal.table_partrec line 13
3. def OAI.TuringRigidity.CommonIdeal.finiteRun line 17
4. theorem OAI.TuringRigidity.CommonIdeal.finiteRun_partrec line 21
5. theorem OAI.TuringRigidity.CommonIdeal.finiteRun_code line 34
6. theorem OAI.TuringRigidity.CommonIdeal.finiteRun_approximates line 39
7. def OAI.TuringRigidity.CommonIdeal.searchTrial line 49
8. theorem OAI.TuringRigidity.CommonIdeal.searchTrial_recursive line 54
9. theorem OAI.TuringRigidity.CommonIdeal.common_output_reduces line 71
10. theorem OAI.TuringRigidity.CommonIdeal.ideal_of_meets line 97