Faithfulness

Navigation page for Blueprint/D5/S3/ConceptDynamics/Faithfulness/ at upstream snapshot c1e1716ef741bf4822ce02313bbd7922b2bfd763.

Contents

• Bare Value Observation Is Nonfaithful
• Bundled Finite Quotient Residual Hierarchy
• Complete Dominance and Observation Nonfaithfulness
• Coordinate-Deletion Robustness
• Faithful Observation Commutation Criterion
• Finite Extraction of a Faithful Observer Family
• The Joint Kernel of All Finite Quotients
• Finite Quotient Languages and Their Residual Hierarchy
• Injective Sensor Family Faithfulness
• Joint Faithfulness and the Leibniz Criterion
• Local-Global Residual Criterion
• Model-Relative Completeness and the Difference Criterion
• Pair Sensor Strict Refinement