OAI/Computability/DegreeRigidity/SetModels/ElementaryCollapse.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.ElementaryModel.hullSet line 12
2. theorem OAI.TuringRigidity.ElementaryModel.mem_hullSet line 17
3. instance OAI.TuringRigidity.ElementaryModel.hullSet_countable line 22
4. theorem OAI.TuringRigidity.ElementaryModel.hullSet_extensional line 28
5. def OAI.TuringRigidity.ElementaryModel.collapsed line 45
6. theorem OAI.TuringRigidity.ElementaryModel.mem_collapsed line 48
7. theorem OAI.TuringRigidity.ElementaryModel.collapsed_transitive line 57
8. instance OAI.TuringRigidity.ElementaryModel.collapsed_countable line 63
9. theorem OAI.TuringRigidity.ElementaryModel.collapse_injective line 72
10. theorem OAI.TuringRigidity.ElementaryModel.collapse_membership line 77
11. theorem OAI.TuringRigidity.ElementaryModel.collapse_fixed line 84