OAI/Computability/DegreeRigidity/SetModels/EnumerationDecoding.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.TuringRigidity.EnumerationDecoding.Enumeration line 10
2. theorem OAI.TuringRigidity.EnumerationDecoding.path_node line 19
3. theorem OAI.TuringRigidity.EnumerationDecoding.node_below line 36
4. theorem OAI.TuringRigidity.EnumerationDecoding.path_sigma line 42
5. def OAI.TuringRigidity.EnumerationDecoding.Defined line 57
6. theorem OAI.TuringRigidity.EnumerationDecoding.defined_sigma line 60
7. theorem OAI.TuringRigidity.EnumerationDecoding.defined_iff line 70
8. theorem OAI.TuringRigidity.EnumerationDecoding.graph_sigma line 97