OAI/Computability/DegreeRigidity/CohenForcing/CohenNiceNameConstruction.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.CohenNiceNameConstruction.cohenTop line 13
2. theorem OAI.TuringRigidity.CohenNiceNameConstruction.positive_downward line 17
3. theorem OAI.TuringRigidity.CohenNiceNameConstruction.selected_hit_iff line 25
4. theorem OAI.TuringRigidity.CohenNiceNameConstruction.selected_nice_value line 58
5. theorem OAI.TuringRigidity.CohenNiceNameConstruction.internal_nice_name line 95