OAI/Computability/DegreeRigidity/SetModels/ElementaryModelIdeal.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.ElementaryModel.model_reals_countable line 10
2. def OAI.TuringRigidity.ElementaryModel.modelIdeal line 18
3. theorem OAI.TuringRigidity.ElementaryModel.modelIdeal_mem line 32
4. theorem OAI.TuringRigidity.ElementaryModel.modelIdeal_jump line 35
5. theorem OAI.TuringRigidity.ElementaryModel.hull_degree_iff line 40
6. theorem OAI.TuringRigidity.ElementaryModel.hull_ideal_invariant line 52