OAI/Computability/DegreeRigidity/CohenForcing/CountedCohenConditions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.CountedCohenConditions.finite_subsets_countable_or_empty line 10
2. theorem OAI.TuringRigidity.CountedCohenConditions.empty_condition line 21
3. theorem OAI.TuringRigidity.CountedCohenConditions.alphabet_countable line 28
4. theorem OAI.TuringRigidity.CountedCohenConditions.conditions_countable line 39
5. theorem OAI.TuringRigidity.CountedCohenConditions.many_column_conditions_countable line 52