definition · fr-3-definition-8-1
Persistent strictifiability
Definition in the source manuscript fusion-reconstruction
On this page
Statement
For the inverse system of admissible finite strictifiers , persistent strictifiability means .
Meaning and scope
One can choose strictifiers compatible across all refinements.
Example
The singleton system with identity restrictions persists. The nonempty tails with inclusion restrictions do not: no integer belongs to every tail.
Source
Paper 3, Definition 8.1. Frozen manuscript — 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.