III.R34 — Bridge Settlement Criteria

Six specific identification theorems needed to settle each conjectural bridge. Each states: if identification I_k holds, then τ-internal theorem T_k implies classical problem P_k.