OAI/Computability/DegreeRigidity/CohenForcing/CohenInternalDecision.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.CohenInternalDecision.below line 9
2. theorem OAI.TuringRigidity.CohenInternalDecision.below_mem line 12
3. def OAI.TuringRigidity.CohenInternalDecision.decision line 19
4. theorem OAI.TuringRigidity.CohenInternalDecision.decision_mem line 22
5. theorem OAI.TuringRigidity.CohenInternalDecision.decision_dense line 31
6. theorem OAI.TuringRigidity.CohenInternalDecision.internal_decision_data line 42
7. theorem OAI.TuringRigidity.CohenInternalDecision.generic_decides line 54