OAI/Computability/DegreeRigidity/Representation/GenericTruth.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.GenericTruth.CylinderIn line 11
2. theorem OAI.TuringRigidity.GenericTruth.cylinderIn_denseOpen line 13
3. theorem OAI.TuringRigidity.GenericTruth.generic_subset_of_residual line 28
4. theorem OAI.TuringRigidity.GenericTruth.borel_generic_truth line 49
5. def OAI.TuringRigidity.GenericTruth.triple line 57
6. theorem OAI.TuringRigidity.GenericTruth.triple_measurable line 62
7. theorem OAI.TuringRigidity.GenericTruth.sourceEquation_generic_truth line 67