OAI/Computability/DegreeRigidity/CohenForcing/BoundedForcing.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BoundedForcing.push line 12
2. theorem OAI.TuringRigidity.BoundedForcing.push_zero line 16
3. theorem OAI.TuringRigidity.BoundedForcing.push_succ line 17
4. theorem OAI.TuringRigidity.BoundedForcing.child_relation line 20
5. def OAI.TuringRigidity.BoundedForcing.Forces line 24
6. theorem OAI.TuringRigidity.BoundedForcing.forces_mono line 31
7. def OAI.TuringRigidity.BoundedForcing.Decision line 42
8. theorem OAI.TuringRigidity.BoundedForcing.decision_dense line 44
9. def OAI.TuringRigidity.BoundedForcing.Generic line 52
10. theorem OAI.TuringRigidity.BoundedForcing.truth line 55