Admissible Amalgamation

Statement

Assume the contextual reduction calculus of Assumption 8.1: sufficiency, idempotence, nested reduction, and recognition of tight targets along the specified passages. For a matching family over with admissible amalgam , the realization is tight and satisfies .

Meaning and scope

This is conditional on the reduction calculus and the existence of an admissible amalgam. Matching alone is insufficient.

The paper page includes the reader corrections accompanying this edition.

Source

Paper 2, Theorem 8.7. Research note — not peer reviewed.