OAI/Computability/DegreeRigidity/Syntax/VariableCertificateBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.RelativeConstructible.boundWitness_allBounds line 11
2. theorem OAI.TuringRigidity.RelativeConstructible.tupleAdequate_allBounds line 17
3. theorem OAI.TuringRigidity.RelativeConstructible.setTruthRecursion_allBounds line 23
4. theorem OAI.TuringRigidity.RelativeConstructible.truthWitness_allBounds line 33
5. theorem OAI.TuringRigidity.RelativeConstructible.satisfactionWitness_allBounds line 38
6. theorem OAI.TuringRigidity.RelativeConstructible.parameterAdequate_allBounds line 44
7. theorem OAI.TuringRigidity.RelativeConstructible.definitionWitness_allBounds line 51
8. theorem OAI.TuringRigidity.RelativeConstructible.satisfactionSystem_allBounds line 56
9. theorem OAI.TuringRigidity.RelativeConstructible.defSystem_allBounds line 66