OAI/Computability/DegreeRigidity/SetModels/CollapseCoding.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.RelationCollapse.Presents line 10
2. theorem OAI.TuringRigidity.RelationCollapse.Presents.pair_iff line 13
3. def OAI.TuringRigidity.RelationCollapse.codedRelation line 24
4. def OAI.TuringRigidity.RelationCollapse.codedFormula line 28
5. theorem OAI.TuringRigidity.RelationCollapse.codedRelation_mem line 33
6. theorem OAI.TuringRigidity.RelationCollapse.codedRelation_on line 47
7. theorem OAI.TuringRigidity.RelationCollapse.codedRelation_pair line 50
8. theorem OAI.TuringRigidity.RelationCollapse.codedRelation_wellFounded line 64
9. theorem OAI.TuringRigidity.RelationCollapse.codedRelation_value line 80
10. theorem OAI.TuringRigidity.RelationCollapse.internal_small_transitive_bound line 103