OAI/Computability/DegreeRigidity/SetModels/SetModelPrimrec.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.SetModelFunctions.HasGraph.congr line 13
2. def OAI.TuringRigidity.SetModelFunctions.recValue line 16
3. def OAI.TuringRigidity.SetModelFunctions.recStep line 19
4. def OAI.TuringRigidity.SetModelFunctions.recStart line 22
5. theorem OAI.TuringRigidity.SetModelFunctions.iterate_recStep line 24
6. theorem OAI.TuringRigidity.SetModelFunctions.HasGraph.prec line 32
7. theorem OAI.TuringRigidity.SetModelFunctions.natPrimrec_graph line 47
8. theorem OAI.TuringRigidity.SetModelFunctions.primrec_graph line 57