OAI/Computability/DegreeRigidity/SetModels/ModelAutomorphismInterpretation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.BoundedSetTheory.presentationGraph_automorphism line 12
2. theorem OAI.TuringRigidity.BoundedSetTheory.presentationGraph_action line 27
3. theorem OAI.TuringRigidity.BoundedSetTheory.presentationSet_subset_of_includes line 34
4. theorem OAI.TuringRigidity.BoundedSetTheory.presentationGraph_subset_of_compatible line 42
5. theorem OAI.TuringRigidity.BoundedSetTheory.presentationGraph_unique line 55