OAI/Computability/DegreeRigidity/OrdinalCodes/NumericHierarchy.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.NumericSyntax.stageStep_definable line 10
2. theorem OAI.TuringRigidity.NumericSyntax.functionGraph_definable line 18
3. theorem OAI.TuringRigidity.NumericSyntax.insertedSelf_definable line 24
4. theorem OAI.TuringRigidity.NumericSyntax.checkedDefSuccessor_domainDefinable line 40
5. theorem OAI.TuringRigidity.NumericSyntax.checkedHierarchyGraph_domainDefinable line 46
6. theorem OAI.TuringRigidity.NumericSyntax.seedBoundStage_domainDefinable line 57