OAI/Computability/DegreeRigidity/CohenForcing/CohenEffectiveGeneric.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalCohen.WordDecision line 15
2. theorem OAI.TuringRigidity.InternalCohen.wordDecision_arith line 18
3. def OAI.TuringRigidity.InternalCohen.decisionCodes line 43
4. theorem OAI.TuringRigidity.InternalCohen.decisionCodes_true line 46
5. theorem OAI.TuringRigidity.InternalCohen.decisionCodes_mem line 50
6. def OAI.TuringRigidity.InternalCohen.decisionSet line 54
7. theorem OAI.TuringRigidity.InternalCohen.decisionSet_mem line 58
8. theorem OAI.TuringRigidity.InternalCohen.wordCode_mem_decisionSet line 70
9. theorem OAI.TuringRigidity.InternalCohen.decisionSet_dense line 86
10. theorem OAI.TuringRigidity.InternalCohen.groundGeneric_oneGeneric line 96