Faithfulness

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

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