OAI/Computability/DegreeRigidity/OrdinalCodes/OrdinalCodeBranch.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.OrdinalCoding.code_rename_bound line 9
2. def OAI.TuringRigidity.OrdinalCoding.codeBranchValue line 32
3. def OAI.TuringRigidity.OrdinalCoding.codeBranchBody line 35
4. def OAI.TuringRigidity.OrdinalCoding.codeBranchSentence line 40
5. theorem OAI.TuringRigidity.OrdinalCoding.codeBranchSentence_bound line 43
6. theorem OAI.TuringRigidity.OrdinalCoding.codeBranchBody_sound line 73
7. theorem OAI.TuringRigidity.OrdinalCoding.codeBranchSentence_sound line 89
8. theorem OAI.TuringRigidity.OrdinalCoding.codeBranchSentence_sourceT line 98