Manuscript En09-A@1 · En09-A.tex · section · eafec9de
The declared refinement class
Complete-channel stability and refinement independence › The declared refinement class · lines 1428–1434
The existence of the ideal matched factor chains is an assumption of the refinement class, not a consequence of a shared finite diagram. In particular, this definition does not infer a continuum target from the native finite clock.