OAI/Computability/DegreeRigidity/CohenForcing/CohenColumnRealName.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.TuringRigidity.CohenColumnRealName.poset line 12
2. def OAI.TuringRigidity.CohenColumnRealName.realName line 15
3. def OAI.TuringRigidity.CohenColumnRealName.realNameFormula line 20
4. theorem OAI.TuringRigidity.CohenColumnRealName.eval_realNameFormula line 25
5. def OAI.TuringRigidity.CohenColumnRealName.realNameCode line 34
6. theorem OAI.TuringRigidity.CohenColumnRealName.mem_realNameCode line 39
7. theorem OAI.TuringRigidity.CohenColumnRealName.realNameCode_mem line 49
8. theorem OAI.TuringRigidity.CohenColumnRealName.encode_realName line 69
9. theorem OAI.TuringRigidity.CohenColumnRealName.realName_internal line 89