OAI/Computability/DegreeRigidity/Syntax/AtomicRequirements.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.AtomicForcing.Witness line 11
2. def OAI.TuringRigidity.AtomicForcing.NegMem line 14
3. def OAI.TuringRigidity.AtomicForcing.MemTest line 16
4. def OAI.TuringRigidity.AtomicForcing.Refute line 18
5. def OAI.TuringRigidity.AtomicForcing.EqTest line 23
6. theorem OAI.TuringRigidity.AtomicForcing.witness_mono line 25
7. theorem OAI.TuringRigidity.AtomicForcing.witness_mem line 32
8. theorem OAI.TuringRigidity.AtomicForcing.memTest_dense line 38
9. theorem OAI.TuringRigidity.AtomicForcing.eqTest_dense line 51
10. structure OAI.TuringRigidity.AtomicForcing.Generic line 74
11. theorem OAI.TuringRigidity.AtomicForcing.generic_witness line 78