Compact Strictifier Persistence

Statement

If every is nonempty compact Hausdorff, restrictions are continuous and satisfy the inverse-system identities, and finite compatible strictifiability holds, then the inverse limit is nonempty compact Hausdorff.

Meaning and scope

Compactness and the finite-intersection property give a coherent family. Existence does not give uniqueness or analytic certificate preservation.

Source

Paper 3, Theorem 8.4. Frozen manuscript — research note, not peer reviewed.