OAI/Computability/DegreeRigidity/SetModels/InternalFiniteExhaustion.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.InternalFiniteExhaustion.initial line 10
2. theorem OAI.TuringRigidity.InternalFiniteExhaustion.mem_initial line 13
3. theorem OAI.TuringRigidity.InternalFiniteExhaustion.initial_finite line 18
4. theorem OAI.TuringRigidity.InternalFiniteExhaustion.initial_subset line 23
5. def OAI.TuringRigidity.InternalFiniteExhaustion.initialFormula line 29
6. theorem OAI.TuringRigidity.InternalFiniteExhaustion.initialFormula_spec line 31
7. theorem OAI.TuringRigidity.InternalFiniteExhaustion.initial_sequence_mem line 43
8. theorem OAI.TuringRigidity.InternalFiniteExhaustion.finite_subsets_finite line 50
9. theorem OAI.TuringRigidity.InternalFiniteExhaustion.finite_subset_initial line 60
10. theorem OAI.TuringRigidity.InternalFiniteExhaustion.finite_subsets_countable line 72