OAI/Computability/DegreeRigidity/Representation/GlobalLocality.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.GlobalLocality.fullIdeal line 9
2. def OAI.TuringRigidity.GlobalLocality.lift line 12
3. def OAI.TuringRigidity.GlobalLocality.degreeIterate line 20
4. theorem OAI.TuringRigidity.GlobalLocality.degreeIterate_degree line 24
5. theorem OAI.TuringRigidity.GlobalLocality.arithmetic_bound line 30
6. theorem OAI.TuringRigidity.GlobalLocality.source_3_3_1 line 40