OAI/Computability/DegreeRigidity/Syntax/SentenceFamilyFormula.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.SentenceCoding.SetStep line 13
2. theorem OAI.TuringRigidity.SentenceCoding.setStep_nat line 20
3. theorem OAI.TuringRigidity.SentenceCoding.setStep_definable line 50
4. theorem OAI.TuringRigidity.SentenceCoding.setClosed_spec line 61
5. theorem OAI.TuringRigidity.SentenceCoding.setClosed_definable line 71
6. theorem OAI.TuringRigidity.SentenceCoding.leastFamily_definable line 77
7. theorem OAI.TuringRigidity.SentenceCoding.uniform_family_definition line 83