OAI/Computability/DegreeRigidity/Constructibility/HierarchySyntax.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.RelativeConstructible.stageStep_definable line 14
2. theorem OAI.TuringRigidity.RelativeConstructible.functionGraph_definable line 22
3. theorem OAI.TuringRigidity.RelativeConstructible.hierarchyGraph_sigmaDefinable line 29
4. theorem OAI.TuringRigidity.RelativeConstructible.sigma_binary_relation line 40
5. theorem OAI.TuringRigidity.RelativeConstructible.uniform_hierarchy_certificate line 60