OAI/Computability/DegreeRigidity/CohenForcing/CohenConservative.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.CohenConservative.value_ne_recursive line 10
2. theorem OAI.TuringRigidity.CohenConservative.disagreement_sigma line 23
3. theorem OAI.TuringRigidity.CohenConservative.oneGeneric_conservative line 34
4. theorem OAI.TuringRigidity.CohenConservative.oneGeneric_not_reduces line 46
5. theorem OAI.TuringRigidity.CohenConservative.relative_low_conservative line 61