OAI/Computability/DegreeRigidity/Representation/SourceTPresentationComparison.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.ArithmeticTree.PresentationMatrix line 13
2. theorem OAI.TuringRigidity.ArithmeticTree.presentationMatrix_arith line 15
3. theorem OAI.TuringRigidity.ArithmeticTree.presentationMatrix_iff line 17
4. def OAI.TuringRigidity.ArithmeticTree.InternalPresentation line 23
5. def OAI.TuringRigidity.ArithmeticTree.InternalNonidentity line 26
6. theorem OAI.TuringRigidity.ArithmeticTree.internalPresentation_iff line 29
7. theorem OAI.TuringRigidity.ArithmeticTree.persistent_presentation_mem line 35
8. theorem OAI.TuringRigidity.ArithmeticTree.internalNonidentity_iff line 46
9. theorem OAI.TuringRigidity.ArithmeticTree.presentation_comparison line 56