OAI/Computability/DegreeRigidity/Syntax/VariableTruthSyntax.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.RelativeConstructible.tupleLookup_variable line 12
2. theorem OAI.TuringRigidity.RelativeConstructible.tupleAdequate_variable line 16
3. theorem OAI.TuringRigidity.RelativeConstructible.tuplePrefix_variable line 22
4. theorem OAI.TuringRigidity.RelativeConstructible.setTruthStep_variable line 40
5. theorem OAI.TuringRigidity.RelativeConstructible.setTruthRecursion_variable line 62
6. theorem OAI.TuringRigidity.RelativeConstructible.truthWitness_variable line 72
7. theorem OAI.TuringRigidity.RelativeConstructible.satisfactionWitness_variable line 78
8. theorem OAI.TuringRigidity.RelativeConstructible.parameterAdequate_variable line 85
9. theorem OAI.TuringRigidity.RelativeConstructible.definesSubset_variable line 92
10. theorem OAI.TuringRigidity.RelativeConstructible.definitionWitness_variable line 98