OAI/Computability/DegreeRigidity/OrdinalCodes/OrdinalPairSyntax.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.OrdinalCoding.pairCodeSentence line 9
2. theorem OAI.TuringRigidity.OrdinalCoding.pairCodeSentence_bound line 15
3. theorem OAI.TuringRigidity.OrdinalCoding.pairCodeSentence_semantics line 29
4. theorem OAI.TuringRigidity.OrdinalCoding.pairCodeSentence_sound line 42
5. theorem OAI.TuringRigidity.OrdinalCoding.pairCodeSentence_sourceT line 61
6. theorem OAI.TuringRigidity.OrdinalCoding.pairCodeSentence_recovers line 83