OAI/Computability/DegreeRigidity/OrdinalCodes/NaturalTermFormula.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.TuringRigidity.BoundedSetTheory.NaturalTerm line 9
2. def OAI.TuringRigidity.BoundedSetTheory.NaturalTerm.eval line 14
3. def OAI.TuringRigidity.BoundedSetTheory.NaturalTerm.operation line 18
4. theorem OAI.TuringRigidity.BoundedSetTheory.NaturalTerm.operation_spec line 21
5. def OAI.TuringRigidity.BoundedSetTheory.NaturalTerm.graph line 29
6. theorem OAI.TuringRigidity.BoundedSetTheory.NaturalTerm.graph_spec line 35