OAI/Computability/DegreeRigidity/Effective/EffectiveRelations.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.EffectiveRelations.data_below line 8
2. theorem OAI.TuringRigidity.EffectiveRelations.coordinate_code line 12
3. theorem OAI.TuringRigidity.EffectiveRelations.fin_sup line 55
4. theorem OAI.TuringRigidity.EffectiveRelations.tag_below_tuple line 64
5. theorem OAI.TuringRigidity.EffectiveRelations.tuples_antichain line 74
6. theorem OAI.TuringRigidity.EffectiveRelations.relation_code line 87
7. theorem OAI.TuringRigidity.EffectiveRelations.effective_relation_sequence line 111