OAI/Computability/DegreeRigidity/CohenForcing/CohenSizeLevels.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.CohenSizeLevels.Small line 9
2. theorem OAI.TuringRigidity.CohenSizeLevels.small_graph_bound line 12
3. theorem OAI.TuringRigidity.CohenSizeLevels.graph_small line 30
4. def OAI.TuringRigidity.CohenSizeLevels.smallFormula line 42
5. theorem OAI.TuringRigidity.CohenSizeLevels.smallFormula_spec line 46
6. def OAI.TuringRigidity.CohenSizeLevels.levels line 67
7. theorem OAI.TuringRigidity.CohenSizeLevels.pair_levels line 71
8. theorem OAI.TuringRigidity.CohenSizeLevels.levels_mem line 81