OAI/Computability/DegreeRigidity/Syntax/TermFormula.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BoundedSetTheory.Formula.rightPair line 11
2. def OAI.TuringRigidity.BoundedSetTheory.Formula.leftPair line 14
3. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.eval_rightPair line 17
4. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.eval_leftPair line 27
5. def OAI.TuringRigidity.BoundedSetTheory.Formula.appMem line 37
6. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.eval_appMem line 39
7. def OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.stepFormula line 47
8. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.eval_stepFormula line 58
9. def OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.certificateFormula line 65
10. theorem OAI.TuringRigidity.BoundedSetTheory.FiniteTerm.eval_certificateFormula line 69