OAI/Computability/DegreeRigidity/SetModels/InternalBooleanGeneric.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalBooleanGeneric.Hit line 10
2. def OAI.TuringRigidity.InternalBooleanGeneric.decision line 13
3. theorem OAI.TuringRigidity.InternalBooleanGeneric.decision_mem line 15
4. theorem OAI.TuringRigidity.InternalBooleanGeneric.decision_dense line 19
5. theorem OAI.TuringRigidity.InternalBooleanGeneric.generic_decision line 31
6. theorem OAI.TuringRigidity.InternalBooleanGeneric.hit_neg_excludes line 40
7. theorem OAI.TuringRigidity.InternalBooleanGeneric.hit_complement_iff line 48
8. theorem OAI.TuringRigidity.InternalBooleanGeneric.hit_regular_iff line 57
9. theorem OAI.TuringRigidity.InternalBooleanGeneric.hit_supCode_iff line 69
10. theorem OAI.TuringRigidity.InternalBooleanGeneric.hit_bit_iff line 82