OAI/Computability/DegreeRigidity/Effective/FiniteOverwrite.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.FiniteOverwrite.overwrite line 10
2. theorem OAI.TuringRigidity.FiniteOverwrite.overwrite_below line 13
3. theorem OAI.TuringRigidity.FiniteOverwrite.overwrite_above line 16
4. theorem OAI.TuringRigidity.FiniteOverwrite.overwrite_program line 19
5. theorem OAI.TuringRigidity.FiniteOverwrite.overwrite_reduces line 34
6. theorem OAI.TuringRigidity.FiniteOverwrite.restore_initial line 38
7. theorem OAI.TuringRigidity.FiniteOverwrite.degree_overwrite line 45
8. theorem OAI.TuringRigidity.FiniteOverwrite.overwrite_join_program line 51