theorem · fr-2-theorem-3-5
Downward Closure of Analytic Admissibility
Result stated and proved in the source manuscript; website restatement fusion-reconstruction
Statement
If is source-restriction stable and is admissible, then is admissible whenever and .
Meaning and scope
A realization survives these reductions. The theorem makes no upward or directed-totalization assertion.
The paper page includes the reader corrections accompanying this edition.
Source
Paper 2, Theorem 3.5. 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.