OAI/Computability/DegreeRigidity/SetModels/ElementarySatisfaction.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.ElementaryModel.SentenceForm.collapse_sat line 10
2. def OAI.TuringRigidity.ElementaryModel.Valid line 31
3. theorem OAI.TuringRigidity.ElementaryModel.collapsed_hull_valid line 35
4. def OAI.TuringRigidity.ElementaryModel.fromBounded line 47
5. theorem OAI.TuringRigidity.ElementaryModel.bounded_sat line 54
6. theorem OAI.TuringRigidity.ElementaryModel.bounded_univ line 66
7. def OAI.TuringRigidity.ElementaryModel.fromSigma line 78
8. theorem OAI.TuringRigidity.ElementaryModel.sigma_sat line 82