OAI/Computability/DegreeRigidity/Representation/GenericTotality.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.GenericIdentity.BinaryHalts line 9
2. theorem OAI.TuringRigidity.GenericIdentity.total_iff_binaryHalts line 13
3. theorem OAI.TuringRigidity.GenericIdentity.binaryHalts_isOpen line 36
4. theorem OAI.TuringRigidity.GenericIdentity.generic_totality_of_dense line 48