theorem · PROP-RENORM-CERTIFICATION-DESCENT-SEPARATION
Certification/Descent Separation
Result in the source manuscript
Record: PROP-RENORM-CERTIFICATION-DESCENT-SEPARATION
Source result: Proposition VI.4.
Status: Counterexample.
Catalog summary
Two common-refinement-equivalent raw presentations may each be individually certified while inducing different carrier maps. Certification therefore does not imply presentation independence.
Read source manuscript. Research manuscript — 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.