Link to current text
CMP.1:12 - Relations
- C.29.2 specifies computational answers, representation, progress, accuracy and resources.
- C.29.1 establishes a subject correspondence when the computational problem describes something beyond the mathematical construction.
- MATH.17 and MATH.18 develop operations on operations, interpretations and their preserved consequences.
- MATH.4 and MATH.12 supply induction and constructive argument methods when the reduction needs them.
- A.3.3.TR recovers state and continuation distinctions, including those needed by finite-state restrictions.
- C.39 and C.40 help develop a missing computational way or explore alternatives when a construction remains unresolved.