OAI/Computability/DegreeRigidity/SetModels/PresentationEnumeration.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BoundedSetTheory.presentationEnumeration line 10
2. theorem OAI.TuringRigidity.BoundedSetTheory.mem_presentationEnumeration line 13
3. theorem OAI.TuringRigidity.BoundedSetTheory.presentationEnumeration_pair line 18
4. theorem OAI.TuringRigidity.BoundedSetTheory.presentationEnumeration_function line 28
5. theorem OAI.TuringRigidity.BoundedSetTheory.presentationEnumeration_onto line 40
6. def OAI.TuringRigidity.BoundedSetTheory.Formula.presentationValue line 47
7. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.presentationValue_spec line 51
8. def OAI.TuringRigidity.BoundedSetTheory.Formula.enumerationMember line 71
9. theorem OAI.TuringRigidity.BoundedSetTheory.Formula.enumerationMember_spec line 75