OAI/Computability/DegreeRigidity/Constructibility/UniformTruthRecursion.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.RelativeConstructible.SetTruthRecursion line 13
2. theorem OAI.TuringRigidity.RelativeConstructible.setTruthRecursion_definable line 18
3. theorem OAI.TuringRigidity.RelativeConstructible.setTruthRecursion_spec line 28
4. def OAI.TuringRigidity.RelativeConstructible.TruthWitness line 59
5. theorem OAI.TuringRigidity.RelativeConstructible.truthWitness_definable line 62
6. theorem OAI.TuringRigidity.RelativeConstructible.truthWitness_spec line 68