OAI/Computability/DegreeRigidity/Representation/SourceTTreeAbsoluteness.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.ArithmeticTree.sourceContext line 13
2. theorem OAI.TuringRigidity.ArithmeticTree.modelReals_eq line 16
3. theorem OAI.TuringRigidity.ArithmeticTree.zero_real_mem line 18
4. theorem OAI.TuringRigidity.ArithmeticTree.relationSet_on line 27
5. theorem OAI.TuringRigidity.ArithmeticTree.Test.illFounded_edges line 30
6. theorem OAI.TuringRigidity.ArithmeticTree.sourceT_merge_witness line 48
7. theorem OAI.TuringRigidity.ArithmeticTree.sourceT_piOneOne_matrix line 77