Manuscript XV-A@1 · XV-A.tex · remark · f53f3515
Remark
Evidence, terminology, and model signatures › The model signature · lines 703–708
A bridge need not be an isomorphism of every conceivable structure. It must, however, preserve the structures actually used in the transferred claim. A shared name, an analogous formula, or a declared continuation path is not such a proof.