OAI/Computability/DegreeRigidity/SetModels/InternalFiniteEnumeration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalFiniteEnumeration.Ranges line 8
2. theorem OAI.TuringRigidity.InternalFiniteEnumeration.rangeFormula_ranges line 11
3. def OAI.TuringRigidity.InternalFiniteEnumeration.candidates line 17
4. def OAI.TuringRigidity.InternalFiniteEnumeration.candidateFormula line 19
5. theorem OAI.TuringRigidity.InternalFiniteEnumeration.candidateFormula_spec line 22
6. theorem OAI.TuringRigidity.InternalFiniteEnumeration.candidates_mem line 40
7. theorem OAI.TuringRigidity.InternalFiniteEnumeration.internal_enumeration_selector line 51