definition · fr-2-definition-8-2
Context-tight realization
Definition in the source manuscript fusion-reconstruction
On this page
Statement
Under the contextual reduction calculus of Assumption 8.1, an admissible -sufficient realization is -tight when .
Meaning and scope
Reduction to the demanded context has stabilized. The reduction calculus, including its recognition axiom, is an explicit assumption.
Example
For in the coordinate quotient model, retaining just is tight; retaining an independent coordinate includes information removable by that reduction.
The paper page includes the reader corrections accompanying this edition.
Source
Paper 2, Definition 8.2. Research note — not peer reviewed.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.