OAI/Computability/DegreeRigidity/Syntax/SentenceSupportFormula.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SentenceCoding.SetSupportStep line 14
2. theorem OAI.TuringRigidity.SentenceCoding.setSupportStep_encode line 25
3. theorem OAI.TuringRigidity.SentenceCoding.defPairMem line 34
4. theorem OAI.TuringRigidity.SentenceCoding.defOrderedPair line 39
5. theorem OAI.TuringRigidity.SentenceCoding.defIff line 44
6. theorem OAI.TuringRigidity.SentenceCoding.setSupportStep_definable line 48
7. def OAI.TuringRigidity.SentenceCoding.SetSupportRecursion line 65
8. theorem OAI.TuringRigidity.SentenceCoding.setSupportRecursion_spec line 69
9. theorem OAI.TuringRigidity.SentenceCoding.setSupportRecursion_definable line 92